Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mkTyCoInvForAllTy :: TyCoVar -> Type -> Typeghc-lib-parser GHC.Core.Type Make a dependent forall over an Inferred variable
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Typeghc-lib-parser GHC.Core.Type Like mkForAllTys, but assumes all variables are dependent and Inferred, a common case
mkVisForAllTys :: [TyVar] -> Type -> Typeghc-lib-parser GHC.Core.Type Like mkForAllTys, but assumes all variables are dependent and visible
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc-lib-parser GHC.Core.Type Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc-lib-parser GHC.Core.Type Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllForAllTyBinders :: Type -> ([ForAllTyBinder], Type)ghc-lib-parser GHC.Core.Type Take a ForAllTy apart, returning the binders and result type
splitForAllInvisTyBinders :: Type -> ([InvisTyBinder], Type)ghc-lib-parser GHC.Core.Type Like splitForAllTyCoVars, but only splits ForAllTys with Invisible type variable binders. Furthermore, each returned tyvar is annotated with its Specificity.
splitForAllReqTyBinders :: Type -> ([ReqTyBinder], Type)ghc-lib-parser GHC.Core.Type Like splitForAllTyCoVars, but only splits ForAllTys with Required type variable binders. Furthermore, each returned tyvar is annotated with ().
splitForAllTyCoVar :: Type -> (TyCoVar, Type)ghc-lib-parser GHC.Core.Type Take a forall type apart, or panics if that is not possible.
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc-lib-parser GHC.Core.Type Attempts to take a ForAllTy apart, returning the Var