semilattices

This Haskell package defines typeclasses for join- and meet-semilattices, and for upper and lower bounds, and a variety of instances for each.

Usage

Semilattices are idempotent commutative semigroups, and come in two flavours: Join and Meet . This presentation of them doesn’t inherit from Semigroup however, since Semigroup s already exist and the relationships between the various classes here warrant their own operators.