Algebra.Lattice.Lifted

Documentation

data Lifted a

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

BoundedLattice a => BoundedLattice (Lifted a)

BoundedMeetSemiLattice a => BoundedMeetSemiLattice (Lifted a)

JoinSemiLattice a => BoundedJoinSemiLattice (Lifted a)

Lattice a => Lattice (Lifted a)

MeetSemiLattice a => MeetSemiLattice (Lifted a)

JoinSemiLattice a => JoinSemiLattice (Lifted a)