lattices-1.2.1.1: Fine-grained library for constructing and manipulating lattices

Safe HaskellSafe-Inferred

Algebra.Lattice.Levitated

Synopsis

Documentation

data Levitated a Source

Graft a distinct top and bottom onto an otherwise unbounded lattice. The top is the absorbing element for the join, and the bottom is the absorbing element for the meet.

Constructors

Top 
Levitate a 
Bottom