Moduleghc-9.10.3GHC2021

GHC.Data.BooleanFormula

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.

datadata BooleanFormula a

Instances7Functor, Foldable, Traversable, Eq, Data, Outputable, …

Functor BooleanFormulaDefined in ghc-9.10.3 · GHC.Data.BooleanFormula
Foldable BooleanFormulaDefined in ghc-9.10.3 · GHC.Data.BooleanFormula
Traversable BooleanFormulaDefined in ghc-9.10.3 · GHC.Data.BooleanFormula
Eq a => Eq (BooleanFormula a)Defined in ghc-9.10.3 · GHC.Data.BooleanFormula
Data a => Data (BooleanFormula a)Defined in ghc-9.10.3 · GHC.Data.BooleanFormula
OutputableBndr a => Outputable (BooleanFormula a)Defined in ghc-9.10.3 · GHC.Data.BooleanFormula
ToHie (LBooleanFormula (LocatedN Name))Defined in ghc-9.10.3 · GHC.Iface.Ext.Ast

typetype LBooleanFormula a = LocatedL (BooleanFormula a)

valuemkFalse :: BooleanFormula a

valuemkTrue :: BooleanFormula a

valuemkAnd :: Eq a => [LBooleanFormula a] -> BooleanFormula a

valuemkOr :: Eq a => [LBooleanFormula a] -> BooleanFormula a

valuemkVar :: a -> BooleanFormula a

valueisFalse :: BooleanFormula a -> Bool

valueisTrue :: BooleanFormula a -> Bool

valueeval :: (a -> Bool) -> BooleanFormula a -> Bool

valuesimplify

valueisUnsatisfied

valueimplies :: Uniquable a => BooleanFormula a -> BooleanFormula a -> Bool

valueimpliesAtom :: Eq a => BooleanFormula a -> a -> Bool

valuepprBooleanFormula

valuepprBooleanFormulaNice :: Outputable a => BooleanFormula a -> SDoc