RON.Semilattice

Documentation

class Semigroup a => Semilattice a

A semilattice.

It may be a join-semilattice, or meet-semilattice, it doesn't matter.

If it matters for you, use package lattices.

In addition to Semigroup, Semilattice defines these laws:

commutativity

x <> y == y <> x

idempotency

x <> x == x

Instances

Semilattice a => Semilattice (Maybe a)

Defined in RON.Semilattice

Ord a => Semilattice (Max a)

Defined in RON.Semilattice

Ord a => Semilattice (Set a)

Defined in RON.Semilattice

type BoundedSemilattice a = (Monoid a, Semilattice a)

A bounded semilattice.

Bounded semilattice laws are already defined by Monoid and Semilattice, so we don't define an explicit class here.