Safe Haskell	Safe-Inferred

Algebra.Lattice.Lifted

Synopsis

Documentation

Graft a distinct bottom onto an otherwise unbounded lattice. As a bonus, the bottom will be an absorbing element for the meet.

Constructors

Lift a
Bottom

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)