pandora-0.1.0: A box of patterns and paradigms
Pandora.Pattern.Object.Lattice
class (Infimum a, Supremum a) => Lattice a Source #
When providing a new instance, you should ensure it satisfies the one law: * Absorption: a \/ (a /\ b) ≡ a /\ (a \/ b) ≡ a
Defined in Pandora.Paradigm.Basis.Identity
Defined in Pandora.Paradigm.Basis.Maybe