Data.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 this laws:

commutativity

x <> y == y <> x

idempotency

x <> x == x

Instances

Ord a => Semilattice (Max a)

Ord a => Semilattice (Set a)

Eq a => Semilattice (LWW a)

See CvRDT

Ord a => Semilattice (TwoPSet a)

Eq a => Semilattice (RGA a)

Ord a => Semilattice (ORSet a)

Ord a => Semilattice (LwwElementSet a)

Ord a => Semilattice (GCounter a)

See CvRDT

Ord a => Semilattice (PNCounter a)

See CvRDT

merge :: Semilattice a => a -> a -> a infixr 6

Just (<>), specialized to Semilattice.