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.lattice
/
BoundedDistributiveLattice
BoundedDistributiveLattice
algebra.lattice.BoundedDistributiveLattice$
See the
BoundedDistributiveLattice
companion trait
object
BoundedDistributiveLattice
extends
BoundedMeetSemilatticeFunctions
[
BoundedDistributiveLattice
]
with
BoundedJoinSemilatticeFunctions
[
BoundedDistributiveLattice
]
Attributes
Companion:
trait
Source:
BoundedDistributiveLattice.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
BoundedJoinSemilatticeFunctions
[
BoundedDistributiveLattice
]
trait
JoinSemilatticeFunctions
[
BoundedDistributiveLattice
]
trait
BoundedMeetSemilatticeFunctions
[
BoundedDistributiveLattice
]
trait
MeetSemilatticeFunctions
[
BoundedDistributiveLattice
]
class
Object
trait
Matchable
class
Any
Self type
BoundedDistributiveLattice
.type
Clear all
Members list
Concise view
Value members
Concrete methods
final
def
apply
[
A
](
implicit
ev
:
BoundedDistributiveLattice
[
A
]):
BoundedDistributiveLattice
[
A
]
Access an implicit
BoundedDistributiveLattice[A]
.
Access an implicit
BoundedDistributiveLattice[A]
.
Attributes
Source:
BoundedDistributiveLattice.scala
def
minMax
[
A
](
min
:
A
,
max
:
A
)(
implicit
ord
:
Order
[
A
]):
BoundedDistributiveLattice
[
A
]
Attributes
Source:
BoundedDistributiveLattice.scala
Inherited methods
def
join
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
BoundedDistributiveLattice
[
A
]):
A
Attributes
Inherited from:
JoinSemilatticeFunctions
Source:
JoinSemilattice.scala
def
meet
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
BoundedDistributiveLattice
[
A
]):
A
Attributes
Inherited from:
MeetSemilatticeFunctions
Source:
MeetSemilattice.scala
def
one
[
A
](
implicit
ev
:
BoundedDistributiveLattice
[
A
]):
A
Attributes
Inherited from:
BoundedMeetSemilatticeFunctions
Source:
BoundedMeetSemilattice.scala
def
zero
[
A
](
implicit
ev
:
BoundedDistributiveLattice
[
A
]):
A
Attributes
Inherited from:
BoundedJoinSemilatticeFunctions
Source:
BoundedJoinSemilattice.scala