Algebra.Lattice

Unbounded lattices

class JoinSemiLattice a

class MeetSemiLattice a

class Lattice a

joinLeq

joins1

meetLeq

meets1

Bounded lattices

class BoundedJoinSemiLattice a

class BoundedMeetSemiLattice a

class BoundedLattice a

joins

meets

fromBool

Monoid wrappers

data Meet a

data Join a

Fixed points of chains in lattices

lfp

lfpFrom

unsafeLfp

gfp

gfpFrom

unsafeGfp