Portability | portable |
---|---|

Stability | provisional |

Maintainer | masahiro.sakai@gmail.com |

Safe Haskell | Safe-Inferred |

Type classes for lattices and boolean algebras.

# Boolean algebra

class Complement a whereSource

types that can be negated.

Complement Lit | |

Complement QFFormula | |

Complement Lit | |

Complement (Rel c) | |

Complement lit => Complement (DNF lit) | |

Complement (Formula a) |

class (BoundedLattice a, Complement a) => Boolean a whereSource

types that can be combined with boolean operations.