IntAlgebra
Value members
Inherited methods
- Definition Classes
- AdditiveCommutativeGroup -> AdditiveCommutativeMonoid -> AdditiveCommutativeSemigroup -> AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
- Inherited from
- AdditiveCommutativeGroup
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
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
- Definition Classes
- MultiplicativeCommutativeMonoid -> MultiplicativeCommutativeSemigroup -> MultiplicativeMonoid -> MultiplicativeSemigroup
- Inherited from
- MultiplicativeCommutativeMonoid
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
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
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
Given a sequence of as
, compute the product.
Given a sequence of as
, compute the product.
- Inherited from
- MultiplicativeMonoid
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
Given a sequence of as
, compute the sum.
Given a sequence of as
, compute the sum.
- Inherited from
- AdditiveMonoid
- Definition Classes
- AdditiveGroup -> AdditiveMonoid -> AdditiveSemigroup
- Inherited from
- AdditiveGroup
- Definition Classes
- IntIsEuclideanRing -> MultiplicativeSemigroup
- Inherited from
- IntIsEuclideanRing
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
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
- Definition Classes
- MultiplicativeMonoid -> MultiplicativeSemigroup
- Inherited from
- MultiplicativeMonoid