Moduleghc-10.0.0.20260917GHC2024

Language.Haskell.Syntax.BooleanFormula

Synopsis

datadata BooleanFormula p

Instances5Eq, Data, Outputable, ToHie, Anno

(Eq (LIdP p), Eq (LBooleanFormula p)) => Eq (BooleanFormula p)Defined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.BooleanFormula
(Typeable p, Data (Anno (IdGhcP p)), Data (IdGhcP p)) => Data (BooleanFormula (GhcPass p))Defined in ghc-10.0.0.20260917 · GHC.Hs.Instances · orphan
OutputableBndrId p => Outputable (BooleanFormula (GhcPass p))Defined in ghc-10.0.0.20260917 · GHC.Data.BooleanFormula · orphan
(HiePass p, Data (IdGhcP p)) => ToHie (GenLocated SrcSpanAnnL (BooleanFormula (GhcPass p)))Defined in ghc-10.0.0.20260917 · GHC.Iface.Ext.Ast
type Anno (BooleanFormula (GhcPass p)) = SrcSpanAnnLDefined in ghc-10.0.0.20260917 · 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