Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. mkSpecForAllTy :: TyVar -> Type -> Type

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

   Make a dependent forall over a TyCoVar

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

   ghc	GHC.Plugins

   Make a dependent forall over a TyCoVar

5. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

   ghc	GHC.Plugins

   Make a dependent forall over an Inferred variable

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

   ghc	GHC.Plugins

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

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

   ghc	GHC.Plugins

   Like mkForAllTys, but assumes all variables are dependent and visible

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

   ghc	GHC.Plugins

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

9. splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Plugins

   Like splitForAllCo_maybe, but only returns Just for covar binder

10. splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

    ghc	GHC.Plugins

    No documentation available.

Page 474 of many | Previous | Next