Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Plugins

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

2. mkNakedForAllCo :: TyVar -> ForAllTyFlag -> ForAllTyFlag -> CoercionN -> Coercion -> Coercion

   ghc	GHC.Plugins

   No documentation available.

3. mkSpecForAllTy :: TyVar -> Type -> Type

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

   Make a dependent forall over a TyCoVar

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

   ghc	GHC.Plugins

   Make a dependent forall over a TyCoVar

7. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

   ghc	GHC.Plugins

   Make a dependent forall over an Inferred variable

8. mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Type

   ghc	GHC.Plugins

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

9. mkVisForAllTys :: [TyVar] -> Type -> Type

   ghc	GHC.Plugins

   Like mkForAllTys, but assumes all variables are dependent and visible

10. splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)

    ghc	GHC.Plugins

    Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.

Page 475 of many | Previous | Next