Pandora.Pattern.Object.Lattice

Documentation

class (Infimum a, Supremum a) => Lattice a

When providing a new instance, you should ensure it satisfies the one law:
* Absorption: a \/ (a /\ b) ≡ a /\ (a \/ b) ≡ a

Instances

Lattice a => Lattice (Maybe a)

Defined in Pandora.Paradigm.Basis.Maybe

Lattice a => Lattice (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

(Lattice a, Lattice b) => Lattice (Product a b)

Defined in Pandora.Paradigm.Basis.Product

Lattice a => Lattice (Tagged tag a)

Defined in Pandora.Paradigm.Basis.Tagged

Lattice a => Lattice (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant