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

Language | Haskell2010 |

# 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

Lattice a => Lattice (Maybe a) Source # | |

Defined in Pandora.Paradigm.Basis.Maybe | |

Lattice a => Lattice (Identity a) Source # | |

Defined in Pandora.Paradigm.Basis.Identity | |

(Lattice a, Lattice b) => Lattice (Product a b) Source # | |

Defined in Pandora.Paradigm.Basis.Product | |

Lattice a => Lattice (Tagged tag a) Source # | |

Defined in Pandora.Paradigm.Basis.Tagged | |

Lattice a => Lattice (Constant a b) Source # | |

Defined in Pandora.Paradigm.Basis.Constant |