ghc-7.8.20140130: The GHC API

Safe HaskellNone
LanguageHaskell98

BooleanFormula

Description

Boolean formulas without quantifiers and without negation. Such a formula consists of variables, conjunctions (and), and disjunctions (or).

This module is used to represent minimal complete definitions for classes.

Documentation