A boolean expression parameterized over the variable type used.
Instances17Monad, Functor, Applicative, Foldable, Traversable, Alternative, …
Monad ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionFunctor ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionApplicative ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionFoldable ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionTraversable ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionAlternative ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionMonadPlus ConditionDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionEq c => Eq (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionData c => Data (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionShow c => Show (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionGeneric (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionSemigroup (Condition a)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionMonoid (Condition a)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionNFData c => NFData (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionBinary c => Binary (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.ConditionStructured c => Structured (Condition c)Defined in Cabal-syntax-3.12.1.0 · Distribution.Types.Conditiontype Rep (Condition c) = D1 ('MetaDataDefined in Cabal-syntax-3.12.1.0 · Distribution.Types.Condition"Condition"
"Distribution.Types.Condition"
"Cabal-syntax-3.12.1.0-3adc"
'False) ((C1 ('MetaCons"Var"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 c)) :+: C1 ('MetaCons"Lit"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons"CNot"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Condition c))) :+: (C1 ('MetaCons"COr"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Condition c)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Condition c))) :+: C1 ('MetaCons"CAnd"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Condition c)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Condition c))))))