BigIntTruncatedDivision

trait BigIntTruncatedDivision extends forCommutativeRing[BigInt] with BigIntSigned
trait Order[BigInt]
trait PartialOrder[BigInt]
trait Eq[BigInt]
trait forCommutativeRing[BigInt]
trait CommutativeRing[BigInt]
trait CommutativeRng[BigInt]
trait CommutativeRig[BigInt]
trait MultiplicativeCommutativeMonoid[BigInt]
trait CommutativeSemiring[BigInt]
trait MultiplicativeCommutativeSemigroup[BigInt]
trait Ring[BigInt]
trait Rng[BigInt]
trait Rig[BigInt]
trait MultiplicativeMonoid[BigInt]
trait Semiring[BigInt]
trait MultiplicativeSemigroup[BigInt]
trait forAdditiveCommutativeGroup[BigInt]
trait AdditiveCommutativeGroup[BigInt]
trait AdditiveGroup[BigInt]
trait forAdditiveCommutativeMonoid[BigInt]
trait AdditiveCommutativeMonoid[BigInt]
trait AdditiveCommutativeSemigroup[BigInt]
trait AdditiveMonoid[BigInt]
trait AdditiveSemigroup[BigInt]
trait Serializable
trait TruncatedDivision[BigInt]
trait Signed[BigInt]
class Object
trait Matchable
class Any

Value members

Concrete methods

def tmod(a: BigInt, b: BigInt): BigInt
def toBigIntOpt(x: BigInt): Opt[BigInt]
def tquot(a: BigInt, b: BigInt): BigInt
override
def tquotmod(a: BigInt, b: BigInt): (BigInt, BigInt)
Definition Classes
TruncatedDivision

Inherited methods

override
def abs(a: BigInt): BigInt
Definition Classes
BigIntSigned -> Signed
Inherited from
BigIntSigned
override
def additive: CommutativeGroup[BigInt]
Definition Classes
AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveCommutativeGroup
final override
def additiveCommutativeMonoid: AdditiveCommutativeMonoid[BigInt]
Definition Classes
forAdditiveCommutativeMonoid -> Signed
Inherited from
forAdditiveCommutativeMonoid
def compare(x: BigInt, y: BigInt): Int
Inherited from
BigIntOrder
def comparison(x: BigInt, y: BigInt): Comparison

Like compare, but returns a cats.kernel.Comparison instead of an Int. Has the benefit of being able to pattern match on, but not as performant.

Like compare, but returns a cats.kernel.Comparison instead of an Int. Has the benefit of being able to pattern match on, but not as performant.

Inherited from
Order
override
def eqv(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> PartialOrder -> Eq
Inherited from
BigIntOrder
def fmod(x: BigInt, y: BigInt): BigInt
Inherited from
forCommutativeRing
def fquot(x: BigInt, y: BigInt): BigInt
Inherited from
forCommutativeRing
override
def fquotmod(x: BigInt, y: BigInt): (BigInt, BigInt)
Definition Classes
forCommutativeRing -> TruncatedDivision
Inherited from
forCommutativeRing
def fromBigInt(n: BigInt): BigInt

Convert the given BigInt to an instance of A.

Convert the given BigInt to an instance of A.

This is equivalent to n repeated summations of this ring's one, or -n summations of -one if n is negative.

Most type class instances should consider overriding this method for performance reasons.

Inherited from
Ring
def fromInt(n: Int): BigInt

Convert the given integer to an instance of A.

Convert the given integer to an instance of A.

Defined to be equivalent to sumN(one, n).

That is, n repeated summations of this ring's one, or -n summations of -one if n is negative.

Most type class instances should consider overriding this method for performance reasons.

Inherited from
Ring
override
def gt(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> PartialOrder
Inherited from
BigIntOrder
override
def gteqv(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> PartialOrder
Inherited from
BigIntOrder
def isOne(a: BigInt)(implicit ev: Eq[BigInt]): Boolean

Tests if a is one.

Tests if a is one.

Inherited from
MultiplicativeMonoid
def isSignNegative(a: BigInt): Boolean
Inherited from
Signed
def isSignNonNegative(a: BigInt): Boolean
Inherited from
Signed
def isSignNonPositive(a: BigInt): Boolean
Inherited from
Signed
def isSignNonZero(a: BigInt): Boolean
Inherited from
Signed
def isSignPositive(a: BigInt): Boolean
Inherited from
Signed
def isSignZero(a: BigInt): Boolean
Inherited from
Signed
def isZero(a: BigInt)(implicit ev: Eq[BigInt]): Boolean

Tests if a is zero.

Tests if a is zero.

Inherited from
AdditiveMonoid
override
def lt(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> PartialOrder
Inherited from
BigIntOrder
override
def lteqv(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> PartialOrder
Inherited from
BigIntOrder
override
def max(x: BigInt, y: BigInt): BigInt
Definition Classes
BigIntOrder -> Order
Inherited from
BigIntOrder
override
def min(x: BigInt, y: BigInt): BigInt
Definition Classes
BigIntOrder -> Order
Inherited from
BigIntOrder
def minus(x: BigInt, y: BigInt): BigInt
Inherited from
AdditiveGroup
override
def multiplicative: CommutativeMonoid[BigInt]
Definition Classes
MultiplicativeCommutativeMonoid -> MultiplicativeCommutativeSemigroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeCommutativeMonoid
def negate(x: BigInt): BigInt
Inherited from
AdditiveGroup
override
def neqv(x: BigInt, y: BigInt): Boolean
Definition Classes
BigIntOrder -> Order -> Eq
Inherited from
BigIntOrder
def one: BigInt
Inherited from
MultiplicativeMonoid
def order: Order[BigInt]
Inherited from
BigIntSigned
def partialCompare(x: BigInt, y: BigInt): Double
Inherited from
Order
def partialComparison(x: BigInt, y: BigInt): Option[Comparison]

Like partialCompare, but returns a cats.kernel.Comparison instead of an Double. Has the benefit of being able to pattern match on, but not as performant.

Like partialCompare, but returns a cats.kernel.Comparison instead of an Double. Has the benefit of being able to pattern match on, but not as performant.

Inherited from
PartialOrder
def plus(x: BigInt, y: BigInt): BigInt
Inherited from
AdditiveSemigroup
def pmax(x: BigInt, y: BigInt): Option[BigInt]

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Inherited from
PartialOrder
def pmin(x: BigInt, y: BigInt): Option[BigInt]

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Inherited from
PartialOrder
override
def pow(a: BigInt, n: Int): BigInt
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
def product(as: IterableOnce[BigInt]): BigInt

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Inherited from
MultiplicativeMonoid
def sign(a: BigInt): Sign

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

Returns Zero if a is 0, Positive if a is positive, and Negative is a is negative.

Inherited from
Signed
override
def signum(a: BigInt): Int
Definition Classes
BigIntSigned -> Signed
Inherited from
BigIntSigned
@nowarn("msg=deprecated")
def sum(as: IterableOnce[BigInt]): BigInt

Given a sequence of as, compute the sum.

Given a sequence of as, compute the sum.

Inherited from
AdditiveMonoid
override
def sumN(a: BigInt, n: Int): BigInt
Definition Classes
AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveGroup
def times(x: BigInt, y: BigInt): BigInt
Inherited from
MultiplicativeSemigroup
def toOrdering: Ordering[BigInt]

Convert a Order[A] to a scala.math.Ordering[A] instance.

Convert a Order[A] to a scala.math.Ordering[A] instance.

Inherited from
Order
def tryCompare(x: BigInt, y: BigInt): Option[Int]

Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is:

Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is:

  • negative iff x < y
  • zero iff x = y
  • positive iff x > y
Inherited from
PartialOrder
@nowarn("msg=deprecated")
override
def tryProduct(as: IterableOnce[BigInt]): Option[BigInt]
Definition Classes
MultiplicativeMonoid -> MultiplicativeSemigroup
Inherited from
MultiplicativeMonoid
@nowarn("msg=deprecated")
override
def trySum(as: IterableOnce[BigInt]): Option[BigInt]
Definition Classes
AdditiveMonoid -> AdditiveSemigroup
Inherited from
AdditiveMonoid
def zero: BigInt
Inherited from
AdditiveMonoid