Moduleghc-lib-parser-9.14.1.20251220GHC2021

Language.Haskell.Syntax.Specificity

Contents

ForAllTyFlags

Synopsis

data ForAllTyFlag
pattern Specified
pattern Inferred
data Specificity
value isVisibleForAllTyFlag
value isInvisibleForAllTyFlag
value isInferredForAllTyFlag
value isSpecifiedForAllTyFlag
value coreTyLamForAllTyFlag

Packageghc-lib-parser-9.14.1.20251220
Exports9
LanguageGHC2021
LicenceBSD-3-Clause
SourceSpecificity.hs

ForAllTyFlags

datadata ForAllTyFlag

Source#

ForAllTyFlag

Is something required to appear in source Haskell (Required), permitted by request (Specified) (visible type application), or prohibited entirely from appearing in source Haskell (Inferred)? See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] in GHC.Core.TyCo.Rep

Instances8Eq, Data, Ord, NFData, Binary, OutputableBndrFlag, …

Eq ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
Data ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
Ord ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
NFData ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Specificity · orphan
Outputable ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Specificity · orphan
Binary ForAllTyFlagDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Specificity · orphan
OutputableBndrFlag ForAllTyFlag pDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Type
Outputable tv => Outputable (VarBndr tv ForAllTyFlag)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Var

patternpattern Specified :: ForAllTyFlag

patternpattern Inferred :: ForAllTyFlag

datadata Specificity

Source#

Whether an Invisible argument may appear in source Haskell.

Constructors

InferredSpec
the argument may not appear in source Haskell, it is only inferred.
SpecifiedSpec
the argument may appear in source Haskell, but isn't required.

Instances7Eq, Data, Ord, NFData, Binary, OutputableBndrFlag, …

Eq SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
Data SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
Ord SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · Language.Haskell.Syntax.Specificity
NFData SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Specificity · orphan
Binary SpecificityDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Specificity · orphan
OutputableBndrFlag Specificity pDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Hs.Type
Outputable tv => Outputable (VarBndr tv Specificity)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Var

valueisVisibleForAllTyFlag :: ForAllTyFlag -> Bool

Source#

Does this ForAllTyFlag classify an argument that is written in Haskell?

valueisInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

Source#

Does this ForAllTyFlag classify an argument that is not written in Haskell?

valueisInferredForAllTyFlag :: ForAllTyFlag -> Bool

valueisSpecifiedForAllTyFlag :: ForAllTyFlag -> Bool

valuecoreTyLamForAllTyFlag :: ForAllTyFlag

Source#

The ForAllTyFlag on a (Lam a e) term, where a is a type variable. If you want other ForAllTyFlag, use a cast. See Note [Required foralls in Core] in GHC.Core.TyCo.Rep