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