Cats algebra
2.10.0
Cats algebra
API
algebra
instances
all
array
bigDecimal
bigInt
bitSet
boolean
byte
char
int
list
long
map
option
set
short
string
tuple
unit
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
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
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
Priority
Priority
Fallback
Preferred
Cats algebra
/
algebra
/
algebra.lattice
/
BoundedMeetSemilattice
BoundedMeetSemilattice
algebra.lattice.BoundedMeetSemilattice$
See the
BoundedMeetSemilattice
companion trait
object
BoundedMeetSemilattice
extends
BoundedMeetSemilatticeFunctions
[
BoundedMeetSemilattice
]
Attributes
Companion
trait
Source
BoundedMeetSemilattice.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
BoundedMeetSemilatticeFunctions
[
BoundedMeetSemilattice
]
trait
MeetSemilatticeFunctions
[
BoundedMeetSemilattice
]
class
Object
trait
Matchable
class
Any
Self type
BoundedMeetSemilattice
.type
Members list
Clear all
Value members
Concrete methods
final
def
apply
[
A
](
implicit
ev
:
BoundedMeetSemilattice
[
A
]):
BoundedMeetSemilattice
[
A
]
Access an implicit
BoundedMeetSemilattice[A]
.
Access an implicit
BoundedMeetSemilattice[A]
.
Attributes
Source
BoundedMeetSemilattice.scala
Inherited methods
def
meet
[
A
](
x
:
A
,
y
:
A
)(
implicit
ev
:
BoundedMeetSemilattice
[
A
]):
A
Attributes
Inherited from:
MeetSemilatticeFunctions
Source
MeetSemilattice.scala
def
one
[
A
](
implicit
ev
:
BoundedMeetSemilattice
[
A
]):
A
Attributes
Inherited from:
BoundedMeetSemilatticeFunctions
Source
BoundedMeetSemilattice.scala
In this article
Attributes
Members list
Value members
Concrete methods
Inherited methods