ghc-7.10.3: The GHC API

Safe HaskellNone
LanguageHaskell2010

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

eval :: (a -> Bool) -> BooleanFormula a -> Bool Source