Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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
splitForAllTyCoVars :: Type -> ([TyCoVar], Type)ghc-lib-parser 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-lib-parser GHC.Core.Type Attempts to take a ForAllTy apart, but only if the binder is a TyVar
splitForAllTyVars :: Type -> ([TyVar], Type)ghc-lib-parser GHC.Core.Type Like splitForAllTyCoVars, but split only for tyvars. 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.
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc-lib-parser GHC.Core.Type No documentation available.