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. mkForAllTyBinders :: vis -> [TyCoVar] -> [VarBndr TyCoVar vis]

   ghc-lib-parser	GHC.Core.Type

   Make many named binders

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

   ghc-lib-parser	GHC.Core.Type

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

3. mkInfForAllTy :: TyVar -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Like mkTyCoInvForAllTy, but tv should be a tyvar

4. mkInfForAllTys :: [TyVar] -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

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

   ghc-lib-parser	GHC.Core.Type

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

6. mkSpecForAllTy :: TyVar -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Like mkForAllTy, but assumes the variable is dependent and Specified, a common case

7. mkSpecForAllTys :: [TyVar] -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Like mkForAllTys, but assumes all variables are dependent and Specified, a common case

8. mkTyCoForAllTy :: TyCoVar -> ForAllTyFlag -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Make a dependent forall over a TyCoVar

9. mkTyCoForAllTys :: [ForAllTyBinder] -> Type -> Type

   ghc-lib-parser	GHC.Core.Type

   Make a dependent forall over a TyCoVar

10. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

    ghc-lib-parser	GHC.Core.Type

    Make a dependent forall over an Inferred variable

Page 675 of many | Previous | Next