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

Algebra.Lattice.Lifted

Synopsis

Documentation

data Lifted a Source

Graft a distinct bottom onto an otherwise unbounded lattice. As a bonus, the bottom will be an absorbing element for the meet.

Constructors

Lift a 
Bottom