Algebra.Lattice.Levitated

Documentation

data Levitated a

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

BoundedLattice a => BoundedLattice (Levitated a)

MeetSemiLattice a => BoundedMeetSemiLattice (Levitated a)

JoinSemiLattice a => BoundedJoinSemiLattice (Levitated a)

Lattice a => Lattice (Levitated a)

MeetSemiLattice a => MeetSemiLattice (Levitated a)

JoinSemiLattice a => JoinSemiLattice (Levitated a)