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

Safe HaskellSafe-Inferred

Algebra.Lattice.Dropped

Synopsis

Documentation

data Dropped a Source

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

Constructors

Top 
Drop a