Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
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.
tyConForAllTyFlags :: TyCon -> [Type] -> [ForAllTyFlag]ghc GHC.Plugins Given a TyCon and a list of argument types to which the TyCon is applied, determine each argument's visibility (Inferred, Specified, or Required). Wrinkle: consider the following scenario:
T :: forall k. k -> k tyConForAllTyFlags T [forall m. m -> m -> m, S, R, Q]
After substituting, we getT (forall m. m -> m -> m) :: (forall m. m -> m -> m) -> forall n. n -> n -> n
Thus, the first argument is invisible, S is visible, R is invisible again, and Q is visible.NoWarnUnusedForalls :: WarnUnusedForallsghc GHC.Rename.HsType No documentation available.
-
ghc GHC.Rename.HsType Should GHC warn if a quantified type variable goes unused? Usually, the answer is "yes", but in the particular case of binding LHsQTyVars, we avoid emitting warnings. See Note [Suppress -Wunused-foralls when binding LHsQTyVars].