Hoogle Search

Within LTS Haskell 24.51 (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	GHC.Core.TyCo.Ppr

   No documentation available.

2. pprUserForAll :: [ForAllTyBinder] -> SDoc

   ghc	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	GHC.Core.TyCo.Rep

   No documentation available.

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

   ghc	GHC.Core.TyCo.Rep

   A Π type. See Note [Why ForAllTy can quantify over a coercion variable] INVARIANT: If the binder is a coercion variable, it must be mentioned in the Type. See Note [Unused coercion variable in ForAllTy]

5. data ForAllTyFlag

   ghc	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	GHC.Core.TyCo.Rep

   No documentation available.

7. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	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	GHC.Core.TyCo.Rep

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

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

   ghc	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	GHC.Core.TyCo.Subst

    No documentation available.

Page 265 of many | Previous | Next