Copyright | (c) Masahiro Sakai 2012-2014 |
---|---|

License | BSD-style |

Maintainer | masahiro.sakai@gmail.com |

Stability | provisional |

Portability | portable |

Safe Haskell | Safe-Inferred |

Language | Haskell2010 |

Type classes for lattices and boolean algebras.

# Boolean algebra

class Complement a where Source

types that can be negated.

Complement Bool | |

Complement Lit | |

Complement QFFormula | |

Complement Lit | |

Complement lit => Complement (DNF lit) | |

Complement (Formula a) | |

Complement (Rel c) |