class SignAlgebra extends CMonoid[Sign] with Signed[Sign] with Order[Sign]
- Alphabetic
- By Inheritance
- SignAlgebra
- Order
- PartialOrder
- Eq
- Signed
- CommutativeMonoid
- CommutativeSemigroup
- Monoid
- Semigroup
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new SignAlgebra()
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def abs(a: Sign): Sign
An idempotent function that ensures an object has a non-negative sign.
An idempotent function that ensures an object has a non-negative sign.
- Definition Classes
- SignAlgebra → Signed
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- def combine(a: Sign, b: Sign): Sign
- Definition Classes
- SignAlgebra → Semigroup
- def combineAll(as: IterableOnce[Sign]): Sign
- Definition Classes
- Monoid
- def combineAllOption(as: IterableOnce[Sign]): Option[Sign]
- Definition Classes
- Monoid → Semigroup
- def combineN(a: Sign, n: Int): Sign
- Definition Classes
- Monoid → Semigroup
- def compare(x: Sign, y: Sign): ComparisonBundle
- Definition Classes
- SignAlgebra → Order
- def context_abs(a: Sign): Sign
- Definition Classes
- SignAlgebra → Signed
- def empty: Sign
- Definition Classes
- SignAlgebra → Monoid
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def eqv(x: Sign, y: Sign): Bool
Returns
true
ifx
andy
are equivalent,false
otherwise.Returns
true
ifx
andy
are equivalent,false
otherwise.- Definition Classes
- Order → PartialOrder → Eq
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def gt(x: Sign, y: Sign): Bool
- Definition Classes
- Order → PartialOrder
- def gteqv(x: Sign, y: Sign): Bool
- Definition Classes
- Order → PartialOrder
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def isEmpty(a: Sign)(implicit ev: cats.kernel.Eq[Sign]): Boolean
- Definition Classes
- Monoid
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isSignNegative(a: Sign): Bool
- Definition Classes
- Signed
- def isSignNonNegative(a: Sign): Bool
- Definition Classes
- Signed
- def isSignNonPositive(a: Sign): Bool
- Definition Classes
- Signed
- def isSignNonZero(a: Sign): Bool
- Definition Classes
- Signed
- def isSignPositive(a: Sign): Bool
- Definition Classes
- Signed
- def isSignZero(a: Sign): Bool
- Definition Classes
- Signed
- def lt(x: Sign, y: Sign): Bool
- Definition Classes
- Order → PartialOrder
- def lteqv(x: Sign, y: Sign): Bool
- Definition Classes
- Order → PartialOrder
- def max(x: Sign, y: Sign): Sign
- Definition Classes
- Order
- def min(x: Sign, y: Sign): Sign
- Definition Classes
- Order
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def neqv(x: Sign, y: Sign): Bool
Returns
false
ifx
andy
are equivalent,true
otherwise.Returns
false
ifx
andy
are equivalent,true
otherwise.- Definition Classes
- Eq
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def on[B <: Data](f: (B) => Sign): Order[B]
Defines an order on
B
by mappingB
toA
usingf
and usingA
s order to orderB
.Defines an order on
B
by mappingB
toA
usingf
and usingA
s order to orderB
.- Definition Classes
- Order → PartialOrder → Eq
- def partialCompare(x: Sign, y: Sign): ValidIO[ComparisonBundle]
Result of comparing
x
withy
.Result of comparing
x
withy
. Returns ValidIO[ComparisonBundle] withvalid
false if operands are not comparable. If operands are comparable,bits.lt
will be true ifx
<y
andbits.eq
will be true ifx
=y
- Definition Classes
- Order → PartialOrder
- def pmax(x: Sign, y: Sign): ValidIO[Sign]
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.
- Definition Classes
- PartialOrder
- def pmin(x: Sign, y: Sign): ValidIO[Sign]
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.
- Definition Classes
- PartialOrder
- def repeatedCombineN(a: Sign, n: Int): Sign
- Attributes
- protected[this]
- Definition Classes
- Semigroup
- def reverse: Order[Sign]
Defines an ordering on
A
where all arrows switch direction.Defines an ordering on
A
where all arrows switch direction.- Definition Classes
- Order → PartialOrder
- def sign(a: Sign): Sign
Returns Zero if
a
is 0, Positive ifa
is positive, and Negative isa
is negative.Returns Zero if
a
is 0, Positive ifa
is positive, and Negative isa
is negative.- Definition Classes
- SignAlgebra → Signed
- def signum(a: Sign): ComparisonBundle
Returns 0 if
a
is 0, > 0 ifa
is positive, and < 0 isa
is negative.Returns 0 if
a
is 0, > 0 ifa
is positive, and < 0 isa
is negative.- Definition Classes
- SignAlgebra → Signed
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])