Safe Haskell	Safe-Inferred

Algebra.Lattice.Levitated

Synopsis

Documentation

data Levitated a Source

Graft a distinct top and bottom onto an otherwise unbounded lattice. The top is the absorbing element for the join, and the bottom is the absorbing element for the meet.

Constructors

Top
Levitate a
Bottom

Instances

(Lattice (Levitated a), BoundedJoinSemiLattice (Levitated a), BoundedMeetSemiLattice (Levitated a), BoundedLattice a) => BoundedLattice (Levitated a)
(MeetSemiLattice (Levitated a), MeetSemiLattice a) => BoundedMeetSemiLattice (Levitated a)
(JoinSemiLattice (Levitated a), JoinSemiLattice a) => BoundedJoinSemiLattice (Levitated a)
(JoinSemiLattice (Levitated a), MeetSemiLattice (Levitated a), Lattice a) => Lattice (Levitated a)
MeetSemiLattice a => MeetSemiLattice (Levitated a)
JoinSemiLattice a => JoinSemiLattice (Levitated a)