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.
-
ghc-lib-parser GHC.Core.TyCo.Rep No documentation available.
mkForAllTy :: ForAllTyBinder -> Type -> Typeghc-lib-parser GHC.Core.TyCo.Rep Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]
mkForAllTys :: [ForAllTyBinder] -> Type -> Typeghc-lib-parser GHC.Core.TyCo.Rep Wraps foralls over the type using the provided TyCoVars from left to right
mkInvisForAllTys :: [InvisTVBinder] -> Type -> Typeghc-lib-parser 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-lib-parser GHC.Core.TyCo.Subst No documentation available.
-
ghc-lib-parser GHC.Core.TyCo.Subst No documentation available.
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
isForgetfulSynTyCon :: TyCon -> Boolghc-lib-parser 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. See Note [Forgetful type synonyms]
tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlagghc-lib-parser GHC.Core.TyCon No documentation available.