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. mkSpecForAllTys :: [TyVar] -> Type -> Type

   ghc	GHC.Core.Type

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

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

   ghc	GHC.Core.Type

   Make a dependent forall over a TyCoVar

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

   ghc	GHC.Core.Type

   Make a dependent forall over a TyCoVar

4. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

   ghc	GHC.Core.Type

   Make a dependent forall over an Inferred variable

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

   ghc	GHC.Core.Type

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

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

   ghc	GHC.Core.Type

   Like mkForAllTys, but assumes all variables are dependent and visible

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

   ghc	GHC.Core.Type

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

8. splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)

   ghc	GHC.Core.Type

   Attempts to take a ForAllTy apart, returning the full ForAllTyBinder

9. splitForAllForAllTyBinders :: Type -> ([ForAllTyBinder], Type)

   ghc	GHC.Core.Type

   Take a ForAllTy apart, returning the binders and result type

10. splitForAllInvisTyBinders :: Type -> ([InvisTyBinder], Type)

    ghc	GHC.Core.Type

    Like splitForAllTyCoVars, but only splits ForAllTys with Invisible type variable binders. Furthermore, each returned tyvar is annotated with its Specificity.

Page 447 of many | Previous | Next