Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Control.Object.Semilattice
Synopsis
- class Infimum a where
- class Supremum a where
- type family Semilattice constraint where ...
Documentation
class Infimum a where Source #
When providing a new instance, you should ensure it satisfies the three laws: * Associativity: x /\ (y /\ z) ≡ (x /\ y) /\ z * Commutativity: x /\ y ≡ y /\ x * Idempotency: x /\ x ≡ x
Minimal complete definition
class Supremum a where Source #
When providing a new instance, you should ensure it satisfies the three laws: * Associativity: x \/ (y \/ z) ≡ (x \/ y) \/ z * Commutativity: x \/ y ≡ y \/ x * Idempotency: x \/ x ≡ x
Minimal complete definition
type family Semilattice constraint where ... Source #
Equations
Semilattice Infimum = () | |
Semilattice Supremum = () |