Lattices and semilattices.
Adapter for converting a meet semilattice into a join semilattice, a bottom element into a top element and vice versa.
Lattice backed by a hash map.
Lattice constructed from a set by adding dedicated bottom and top elements.
Lattice constructed from a partially ordered set by adding dedicated bottom and top elements.
A type that has a designated bottom element, ⊥.
A join semilattice that has a bottom and a top element.
A meet semilattice that has a bottom and a top element.
A type that has a designated top element, ⊤.
A lattice that can view its elements as value sets of type