Documentation
Graft a distinct top and bottom onto an otherwise unbounded lattice. The top is the absorbing element for the join, and the bottom is the absorbing element for the meet.
BoundedLattice a => BoundedLattice (Levitated a) | |
MeetSemiLattice a => BoundedMeetSemiLattice (Levitated a) | |
JoinSemiLattice a => BoundedJoinSemiLattice (Levitated a) | |
Lattice a => Lattice (Levitated a) | |
MeetSemiLattice a => MeetSemiLattice (Levitated a) | |
JoinSemiLattice a => JoinSemiLattice (Levitated a) |