Moduleghc-lib-parser-9.14.1.20251220GHC2021

Language.Haskell.Syntax.BooleanFormula

datadata BooleanFormula p

Instances4Eq, Data, Outputable, Anno

(Eq (LIdP p), Eq (LBooleanFormula p)) => Eq (BooleanFormula p)Defined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.BooleanFormula
(Typeable p, Data (Anno (IdGhcP p)), Data (IdGhcP p)) => Data (BooleanFormula (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (BooleanFormula (GhcPass p))Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.BooleanFormula · orphan
type Anno (BooleanFormula (GhcPass p)) = SrcSpanAnnLDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Data.BooleanFormula · orphan

typetype LBooleanFormula p = XRec p (BooleanFormula p)

valuemkVar :: LIdP p -> BooleanFormula p

valuemkFalse :: BooleanFormula p

valuemkTrue :: BooleanFormula p

valuemkBool :: Bool -> BooleanFormula p

valuemkAnd

valuemkOr