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.
mkVisForAllTys :: [TyVar] -> Type -> Typeghc GHC.Core.Type Like mkForAllTys, but assumes all variables are dependent and visible
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc GHC.Core.Type Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllForAllTyBinders :: Type -> ([ForAllTyBinder], Type)ghc GHC.Core.Type Take a ForAllTy apart, returning the binders and result type
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.
splitForAllReqTyBinders :: Type -> ([ReqTyBinder], Type)ghc 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 GHC.Core.Type Take a forall type apart, or panics if that is not possible.
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, returning the Var
splitForAllTyCoVars :: Type -> ([TyCoVar], Type)ghc GHC.Core.Type Take a ForAllTy apart, returning the list of tycovars and the result type. This always succeeds, even if it returns only an empty list. Note that the result type returned may have free variables that were bound by a forall.
splitForAllTyVar_maybe :: Type -> Maybe (TyVar, Type)ghc GHC.Core.Type Attempts to take a ForAllTy apart, but only if the binder is a TyVar