Algebra.Lattice
class JoinSemiLattice a
class MeetSemiLattice a
class Lattice a
joinLeq
joins1
meetLeq
meets1
class BoundedJoinSemiLattice a
class BoundedMeetSemiLattice a
class BoundedLattice a
joins
meets
fromBool
data Meet a
data Join a
lfp
lfpFrom
unsafeLfp
gfp
gfpFrom
unsafeGfp