semilattices alternatives and similar packages
Based on the "Algebra" category.
Alternatively, view semilattices alternatives based on common mentions on social networks and blogs.
-
-
-
multi-instance
Multiple typeclass instances, selected by explicit application of a phantom type parameter -
-
-
linear-tests
tests for Matrix.Linear Haskell library. Includes Arbitrary instances and property tests
WorkOS - The modern identity platform for B2B SaaS
Do you think we are missing an alternative of semilattices or a related project?
README
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 Semigroups already exist and the relationships between the various classes here warrant their own operators.
Join semilattices can be combined using the \/ operator (pronounced “lub,” for “least upper bound”). Meet semilattices can be combined with the /\ operator (pronounced “glb,” for “greatest lower bound”). They have opposite relationships to Lower and Upper bounds (which are optional; in general, there are more lower bounds than upper ones).
Related work
latticesalso offers join & meet semilattices, & their respective bounds. Relative tolattices,semilatticesprimarily offers a different class hierarchy, e.g.Lower&Upperdo not haveJoin&Meetas superclasses. Relative tosemilattices,latticesoffers classes for lattices (both bounded and un-), partial orderings, a variety of operations for instances.