Hoogle Search
Within LTS Haskell 24.50 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ForAllPred :: [TyVar] -> [PredType] -> PredType -> Predghc-lib-parser GHC.Core.Predicate A quantified predicate. See Note [Quantified constraints] in GHC.Tc.Solver.Solve
ForAllCo :: TyCoVar -> ForAllTyFlag -> ForAllTyFlag -> KindCoercion -> Coercion -> Coercionghc-lib-parser GHC.Core.TyCo.Rep No documentation available.
ForAllTy :: ForAllTyBinder -> Type -> Typeghc-lib-parser GHC.Core.TyCo.Rep No documentation available.
-
ghc-lib-parser GHC.Core.TyCo.Rep 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
type
ForAllTyBinder = VarBndr TyCoVar ForAllTyFlagghc-lib-parser GHC.Core.Type Variable Binder A ForAllTyBinder is the binder of a ForAllTy It's convenient to define this synonym here rather its natural home in GHC.Core.TyCo.Rep, because it's used in GHC.Core.DataCon.hs-boot See Note [VarBndrs, ForAllTyBinders, TyConBinders, and visibility] A TyVarBinder is a binder with only TyVar
-
ghc-lib-parser GHC.Core.Type 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
-
ghc-lib-parser GHC.Data.Graph.Directed No documentation available.
ForceRecompile :: PluginRecompileghc-lib-parser GHC.Driver.Plugins No documentation available.
-
See GHC.LanguageExtensions for an explanation on why this is needed
-
ghc-lib-parser GHC.ForeignSrcLang.Type Foreign formats supported by GHC via TH