pandora-0.3.5: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Object.Lattice

Synopsis

Documentation

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

Instances

Instances details
Lattice a => Lattice (Identity a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Identity

Lattice a => Lattice (Maybe a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Maybe

(Lattice s, Lattice a) => Lattice (s :*: a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Product

Lattice a => Lattice (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Lattice a => Lattice (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant