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