Documentation
Graft a distinct bottom onto an otherwise unbounded lattice. As a bonus, the bottom will be an absorbing element for the meet.
BoundedLattice a => BoundedLattice (Lifted a) | |
BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Lifted a) | |
JoinSemiLattice a => BoundedJoinSemiLattice (Lifted a) | |
Lattice a => Lattice (Lifted a) | |
MeetSemiLattice a => MeetSemiLattice (Lifted a) | |
JoinSemiLattice a => JoinSemiLattice (Lifted a) |