Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

1. pprForAll :: [ForAllTyBinder] -> SDoc

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

   No documentation available.

2. pprUserForAll :: [ForAllTyBinder] -> SDoc

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

   Print a user-level forall; see Note [When to print foralls] in GHC.Iface.Type.

3. ForAllCo :: TyCoVar -> ForAllTyFlag -> ForAllTyFlag -> KindCoercion -> Coercion -> Coercion

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

   No documentation available.

4. ForAllTy :: ForAllTyBinder -> Type -> Type

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

   No documentation available.

5. data ForAllTyFlag

   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

6. SelForAll :: CoSel

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

   No documentation available.

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

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

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

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

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

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

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

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

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

    No documentation available.

Page 562 of many | Previous | Next