Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

## 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

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

type family Semilattice constraint where ... Source #

Semilattice Infimum = () | |

Semilattice Supremum = () |