Cats algebra
Cats algebra
algebra
Priority
Priority
Fallback
Preferred
algebra.instances
AllInstances
ArrayInstances
BigDecimalAlgebra
BigDecimalInstances
BigIntAlgebra
BigIntInstances
BigIntTruncatedDivison
BitSetAlgebra
BitSetInstances
BooleanAlgebra
BooleanInstances
ByteAlgebra
ByteInstances
CharInstances
DoubleAlgebra
DoubleInstances
FloatAlgebra
FloatInstances
IntAlgebra
IntInstances
ListInstances
LongAlgebra
LongInstances
MapAdditiveMonoid
MapInstances
MapInstances0
MapInstances1
MapInstances2
MapInstances3
MapSemiring
OptionInstances
SetBoolRng
SetInstances
SetLattice
SetSemiring
ShortAlgebra
ShortInstances
StaticMethods
StringInstances
TupleInstances
UnitAlgebra
UnitInstances
algebra.instances.all
algebra.instances.array
algebra.instances.bigDecimal
algebra.instances.bigInt
algebra.instances.bitSet
algebra.instances.boolean
algebra.instances.byte
algebra.instances.char
algebra.instances.int
algebra.instances.list
algebra.instances.long
algebra.instances.map
algebra.instances.option
algebra.instances.set
algebra.instances.short
algebra.instances.string
algebra.instances.tuple
algebra.instances.unit
algebra.lattice
Bool
Bool
BoolFromBoolRing
BoolRingFromBool
BoolRngFromGenBool
BoundedDistributiveLattice
BoundedDistributiveLattice
BoundedJoinSemilattice
BoundedJoinSemilattice
BoundedJoinSemilatticeFunctions
BoundedLattice
BoundedLattice
BoundedMeetSemilattice
BoundedMeetSemilattice
BoundedMeetSemilatticeFunctions
DeMorgan
DeMorgan
DeMorganFunctions
DistributiveLattice
DistributiveLattice
DualBool
GenBool
GenBool
GenBoolFromBoolRng
GenBoolFunctions
Heyting
Heyting
HeytingFunctions
HeytingGenBoolOverlap
JoinSemilattice
JoinSemilattice
JoinSemilatticeFunctions
Lattice
Lattice
Logic
Logic
LogicFunctions
MeetSemilattice
MeetSemilattice
MeetSemilatticeFunctions
MinMaxBoundedDistributiveLattice
MinMaxLattice
algebra.ring
AdditiveCommutativeGroup
AdditiveCommutativeGroup
AdditiveCommutativeMonoid
AdditiveCommutativeMonoid
AdditiveCommutativeSemigroup
AdditiveCommutativeSemigroup
AdditiveGroup
AdditiveGroup
AdditiveGroupFunctions
AdditiveMonoid
AdditiveMonoid
AdditiveMonoidFunctions
AdditiveSemigroup
AdditiveSemigroup
AdditiveSemigroupFunctions
BoolRing
BoolRing
BoolRng
BoolRng
CommutativeRig
CommutativeRig
CommutativeRing
CommutativeRing
CommutativeRng
CommutativeRng
CommutativeSemifield
CommutativeSemifield
CommutativeSemiring
CommutativeSemiring
DivisionRing
DivisionRing
DivisionRingFunctions
EuclideanRing
EuclideanRing
EuclideanRingFunctions
Field
Field
FieldFunctions
GCDRing
GCDRing
GCDRingFunctions
MultiplicativeCommutativeGroup
MultiplicativeCommutativeGroup
MultiplicativeCommutativeMonoid
MultiplicativeCommutativeMonoid
MultiplicativeCommutativeSemigroup
MultiplicativeCommutativeSemigroup
MultiplicativeGroup
MultiplicativeGroup
MultiplicativeGroupFunctions
MultiplicativeMonoid
MultiplicativeMonoid
MultiplicativeMonoidFunctions
MultiplicativeSemigroup
MultiplicativeSemigroup
MultiplicativeSemigroupFunctions
Rig
Rig
Ring
Ring
RingFunctions
Rng
Rng
Semifield
Semifield
Semiring
Semiring
Signed
Signed
Negative
Positive
Sign
Sign
Zero
forAdditiveCommutativeGroup
forAdditiveCommutativeMonoid
SignedFunctions
TruncatedDivision
TruncatedDivision
forCommutativeRing
TruncatedDivisionFunctions
Cats algebra
/
algebra.ring
/
Rig
Rig
object
Rig
extends
AdditiveMonoidFunctions
[
Rig
]
with
MultiplicativeMonoidFunctions
[
Rig
]
Companion:
class
Graph
Supertypes
Self type
trait
MultiplicativeMonoidFunctions
[
Rig
]
trait
MultiplicativeSemigroupFunctions
[
Rig
]
trait
AdditiveMonoidFunctions
[
Rig
]
trait
AdditiveSemigroupFunctions
[
Rig
]
class
Object
trait
Matchable
class
Any
Rig
.type
Value members
Value members
Concrete methods
@inline
final
def
apply
[
A
](
implicit
ev:
Rig
[
A
]):
Rig
[
A
]
Inherited methods
def
isAdditiveCommutative
[
A
](
implicit
ev:
Rig
[
A
]):
Boolean
Inherited from:
AdditiveSemigroupFunctions
def
isMultiplicativeCommutative
[
A
](
implicit
ev:
Rig
[
A
]):
Boolean
Inherited from:
MultiplicativeSemigroupFunctions
def
isOne
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
a:
A
)(
implicit
ev0:
Rig
[
A
],
ev1:
Eq
[
A
]):
Boolean
Inherited from:
MultiplicativeMonoidFunctions
def
isZero
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
a:
A
)(
implicit
ev0:
Rig
[
A
],
ev1:
Eq
[
A
]):
Boolean
Inherited from:
AdditiveMonoidFunctions
def
one
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
implicit
ev:
Rig
[
A
]):
A
Inherited from:
MultiplicativeMonoidFunctions
def
plus
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
x:
A
,
y:
A
)(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
AdditiveSemigroupFunctions
def
pow
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
a:
A
,
n:
Int
)(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
MultiplicativeSemigroupFunctions
@nowarn
("msg=deprecated")
def
product
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
as:
IterableOnce
[
A
])(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
MultiplicativeMonoidFunctions
@nowarn
("msg=deprecated")
def
sum
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
as:
IterableOnce
[
A
])(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
AdditiveMonoidFunctions
def
sumN
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
a:
A
,
n:
Int
)(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
AdditiveSemigroupFunctions
def
times
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
x:
A
,
y:
A
)(
implicit
ev:
Rig
[
A
]):
A
Inherited from:
MultiplicativeSemigroupFunctions
@nowarn
("msg=deprecated")
def
tryProduct
[
A
](
as:
IterableOnce
[
A
])(
implicit
ev:
Rig
[
A
]):
Option
[
A
]
Inherited from:
MultiplicativeSemigroupFunctions
@nowarn
("msg=deprecated")
def
trySum
[
A
](
as:
IterableOnce
[
A
])(
implicit
ev:
Rig
[
A
]):
Option
[
A
]
Inherited from:
AdditiveSemigroupFunctions
def
zero
[
@specialized
(
Int
,
Long
,
Float
,
Double
)
A
](
implicit
ev:
Rig
[
A
]):
A
Inherited from:
AdditiveMonoidFunctions