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