Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
splitForAllTyCoVar :: Type -> (TyCoVar, Type)ghc GHC.Plugins Take a forall type apart, or panics if that is not possible.
splitForAllTyCoVar_maybe :: Type -> Maybe (TyCoVar, Type)ghc GHC.Plugins Attempts to take a ForAllTy apart, returning the Var
splitForAllTyCoVars :: Type -> ([TyCoVar], Type)ghc GHC.Plugins 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.Plugins Attempts to take a ForAllTy apart, but only if the binder is a TyVar
splitForAllTyVars :: Type -> ([TyVar], Type)ghc GHC.Plugins 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.
-
ghc GHC.Plugins Like substForAllCoBndr, but works on a lifting context
substRulesForImportedIds :: Subst -> [CoreRule] -> [CoreRule]ghc GHC.Plugins No documentation available.
tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])ghc GHC.Plugins No documentation available.
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc GHC.Plugins No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc GHC.Plugins No documentation available.