Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc-lib-parser	GHC.Core.TyCo.Rep

   Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]

2. mkForAllTys :: [ForAllTyBinder] -> Type -> Type

   ghc-lib-parser	GHC.Core.TyCo.Rep

   Wraps foralls over the type using the provided TyCoVars from left to right

3. mkInvisForAllTys :: [InvisTVBinder] -> Type -> Type

   ghc-lib-parser	GHC.Core.TyCo.Rep

   Wraps foralls over the type using the provided InvisTVBinders from left to right

4. substForAllCoBndr :: Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, Coercion)

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

5. substForAllCoBndrUsing :: SwapFlag -> (Coercion -> Coercion) -> Subst -> TyCoVar -> KindCoercion -> (Subst, TyCoVar, KindCoercion)

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

6. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

7. tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

8. isForgetfulSynTyCon :: TyCon -> Bool

   ghc-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]

9. tyConBinderForAllTyFlag :: TyConBinder -> ForAllTyFlag

   ghc-lib-parser	GHC.Core.TyCon

   No documentation available.

10. tyConBndrVisForAllTyFlag :: TyConBndrVis -> ForAllTyFlag

    ghc-lib-parser	GHC.Core.TyCon

    No documentation available.

Page 673 of many | Previous | Next