class SignAlgebra extends CMonoid[Sign] with Signed[Sign] with Order[Sign]
- Alphabetic
- By Inheritance
- SignAlgebra
- Order
- PartialOrder
- Eq
- Signed
- CommutativeMonoid
- CommutativeSemigroup
- Monoid
- Semigroup
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
combine(a: Sign, b: Sign): Sign
- Definition Classes
- SignAlgebra → Semigroup
-
def
combineAll(as: TraversableOnce[Sign]): Sign
- Definition Classes
- Monoid
-
def
combineAllOption(as: TraversableOnce[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: Any): 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
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
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
-
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
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
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(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )