Description
Provides fine-grained tools for constructing and manipulating lattices in Haskell. Lattices are mathematical structures used in ordering, analysis, type systems, and abstract interpretation.
This is useful for developers writing compilers, analyzers, verification tools, or advanced functional libraries. It is a programming library and has no standalone interface.