Cats algebra
2.9.0
Cats algebra
API
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
/
CommutativeSemifield
CommutativeSemifield
algebra.ring.CommutativeSemifield$
See the
CommutativeSemifield
companion trait
object
CommutativeSemifield
extends
AdditiveMonoidFunctions
[
CommutativeSemifield
]
with
MultiplicativeGroupFunctions
[
CommutativeSemifield
]
Attributes
Companion:
trait
Source:
CommutativeSemifield.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
MultiplicativeGroupFunctions
[
CommutativeSemifield
]
trait
MultiplicativeMonoidFunctions
[
CommutativeSemifield
]
trait
MultiplicativeSemigroupFunctions
[
CommutativeSemifield
]
trait
AdditiveMonoidFunctions
[
CommutativeSemifield
]
trait
AdditiveSemigroupFunctions
[
CommutativeSemifield
]
class
Object
trait
Matchable
class
Any
Self type
CommutativeSemifield
.type
Clear all
Members list
Concise view
Value members
Concrete methods
final
def
apply
[
A
](
implicit
r
:
CommutativeSemifield
[
A
]):
CommutativeSemifield
[
A
]
Attributes
Source:
CommutativeSemifield.scala
Inherited methods
def
div
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeGroupFunctions
Source:
Multiplicative.scala
def
isAdditiveCommutative
[
A
](
implicit
ev
:
CommutativeSemifield
[
A
]):
Boolean
Attributes
Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def
isMultiplicativeCommutative
[
A
](
implicit
ev
:
CommutativeSemifield
[
A
]):
Boolean
Attributes
Inherited from:
MultiplicativeSemigroupFunctions
Source:
Multiplicative.scala
def
isOne
[
A
](
a
:
A
)(
implicit
ev0
:
CommutativeSemifield
[
A
],
ev1
:
Eq
[
A
]):
Boolean
Attributes
Inherited from:
MultiplicativeMonoidFunctions
Source:
Multiplicative.scala
def
isZero
[
A
](
a
:
A
)(
implicit
ev0
:
CommutativeSemifield
[
A
],
ev1
:
Eq
[
A
]):
Boolean
Attributes
Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def
one
[
A
](
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeMonoidFunctions
Source:
Multiplicative.scala
def
plus
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def
pow
[
A
](
a
:
A
,
n
:
Int
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeSemigroupFunctions
Source:
Multiplicative.scala
def
product
[
A
](
as
:
IterableOnce
[
A
])(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeMonoidFunctions
Source:
Multiplicative.scala
def
reciprocal
[
A
](
x
:
A
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeGroupFunctions
Source:
Multiplicative.scala
def
sum
[
A
](
as
:
IterableOnce
[
A
])(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala
def
sumN
[
A
](
a
:
A
,
n
:
Int
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def
times
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
MultiplicativeSemigroupFunctions
Source:
Multiplicative.scala
def
tryProduct
[
A
](
as
:
IterableOnce
[
A
])(
implicit
ev
:
CommutativeSemifield
[
A
]):
Option
[
A
]
Attributes
Inherited from:
MultiplicativeSemigroupFunctions
Source:
Multiplicative.scala
def
trySum
[
A
](
as
:
IterableOnce
[
A
])(
implicit
ev
:
CommutativeSemifield
[
A
]):
Option
[
A
]
Attributes
Inherited from:
AdditiveSemigroupFunctions
Source:
Additive.scala
def
zero
[
A
](
implicit
ev
:
CommutativeSemifield
[
A
]):
A
Attributes
Inherited from:
AdditiveMonoidFunctions
Source:
Additive.scala