spire
.
algebra
lattice
package
lattice
Visibility
Public
All
Type Members
trait
BoundedJoinSemilattice
[
A
]
extends
JoinSemilattice
[
A
]
trait
BoundedLattice
[
A
]
extends
Lattice
[
A
] with
BoundedMeetSemilattice
[
A
] with
BoundedJoinSemilattice
[
A
]
trait
BoundedMeetSemilattice
[
A
]
extends
MeetSemilattice
[
A
]
class
GcdLcmLattice
[
A
]
extends
Lattice
[
A
]
trait
Heyting
[
A
]
extends
BoundedLattice
[
A
]
trait
JoinSemilattice
[
A
]
extends
Any
trait
Lattice
[
A
]
extends
JoinSemilattice
[
A
] with
MeetSemilattice
[
A
]
trait
MeetSemilattice
[
A
]
extends
Any
class
MinMaxLattice
[
A
]
extends
Lattice
[
A
]
Value Members
object
Heyting
object
Lattice
Ungrouped