Moduleghc-10.0.0.20260917GHC2024

Language.Haskell.Syntax.Specificity

2 types
5 values

Packageghc-10.0.0.20260917
Exports9
LanguageGHC2024
LicenceBSD-3-Clause
SourceSpecificity.hs

ForAllTyFlags

9 declarations

datadata ForAllTyFlag

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-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
Data ForAllTyFlagDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
Ord ForAllTyFlagDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
NFData ForAllTyFlagDefined in ghc-10.0.0.20260917 · GHC.Hs.Specificity · orphan
Outputable ForAllTyFlagDefined in ghc-10.0.0.20260917 · GHC.Hs.Specificity · orphan
Binary ForAllTyFlagDefined in ghc-10.0.0.20260917 · GHC.Hs.Specificity · orphan
OutputableBndrFlag ForAllTyFlag pDefined in ghc-10.0.0.20260917 · GHC.Hs.Type
Outputable tv => Outputable (VarBndr tv ForAllTyFlag)Defined in ghc-10.0.0.20260917 · GHC.Types.Var

patternpattern Specified :: ForAllTyFlag

patternpattern Inferred :: ForAllTyFlag

datadata Specificity

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.

Instances10Eq, Data, Ord, NFData, Binary, OutputableBndrFlag, …

Eq SpecificityDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
Data SpecificityDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
Ord SpecificityDefined in ghc-10.0.0.20260917 · Language.Haskell.Syntax.Specificity
NFData SpecificityDefined in ghc-10.0.0.20260917 · GHC.Hs.Specificity · orphan
Binary SpecificityDefined in ghc-10.0.0.20260917 · GHC.Hs.Specificity · orphan
OutputableBndrFlag Specificity pDefined in ghc-10.0.0.20260917 · GHC.Hs.Type
RepTV Specificity SpecificityDefined in ghc-10.0.0.20260917 · GHC.HsToCore.Quote
ReifyFlag Specificity SpecificityDefined in ghc-10.0.0.20260917 · GHC.Tc.Gen.Splice
CvtFlag Specificity SpecificityDefined in ghc-10.0.0.20260917 · GHC.ThToHs
Outputable tv => Outputable (VarBndr tv Specificity)Defined in ghc-10.0.0.20260917 · GHC.Types.Var

valueisVisibleForAllTyFlag :: ForAllTyFlag -> Bool

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

valueisInvisibleForAllTyFlag :: ForAllTyFlag -> Bool

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

valueisInferredForAllTyFlag :: ForAllTyFlag -> Bool

valueisSpecifiedForAllTyFlag :: ForAllTyFlag -> Bool

valuecoreTyLamForAllTyFlag :: ForAllTyFlag

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