Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mkForAllTys :: [ForAllTyBinder] -> Type -> Typeghc GHC.Core.TyCo.Rep Wraps foralls over the type using the provided TyCoVars from left to right
mkInvisForAllTys :: [InvisTVBinder] -> Type -> Typeghc GHC.Core.TyCo.Rep Wraps foralls over the type using the provided InvisTVBinders from left to right
substForAllCoBndr :: Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, Coercion)ghc GHC.Core.TyCo.Subst No documentation available.
-
ghc GHC.Core.TyCo.Subst No documentation available.
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc GHC.Core.TyCo.Tidy No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc GHC.Core.TyCo.Tidy No documentation available.
isForgetfulSynTyCon :: TyCon -> Boolghc GHC.Core.TyCon Is this a forgetful type synonym? If this is a type synonym whose RHS does not mention one (or more) of its bound variables, returns True. Thus, False means that all bound variables appear on the RHS; True may not mean anything, as the test to set this flag is conservative.
tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlagghc GHC.Core.TyCon No documentation available.
tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlagghc GHC.Core.TyCon No documentation available.
appTyForAllTyFlags :: Type -> [Type] -> [ForAllTyFlag]ghc GHC.Core.Type Given a Type and a list of argument types to which the Type is applied, determine each argument's visibility (Inferred, Specified, or Required). Most of the time, the arguments will be Required, but not always. Consider f :: forall a. a -> Type. In f Type Bool, the first argument (Type) is Specified and the second argument (Bool) is Required. It is precisely this sort of higher-rank situation in which appTyForAllTyFlags comes in handy, since f Type Bool would be represented in Core using AppTys. (See also #15792).