Algebra.Lattice.Dropped

Documentation

data Dropped a

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

Constructors

Top

Drop a

Instances

BoundedLattice a => BoundedLattice (Dropped a)

MeetSemiLattice a => BoundedMeetSemiLattice (Dropped a)

BoundedJoinSemiLattice a => BoundedJoinSemiLattice (Dropped a)

Lattice a => Lattice (Dropped a)

MeetSemiLattice a => MeetSemiLattice (Dropped a)

JoinSemiLattice a => JoinSemiLattice (Dropped a)