Hoogle Search
Within LTS Haskell 24.66 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tidyCos :: TidyEnv -> [Coercion] -> [Coercion]ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyFreeTyCoVarX :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)ghc-lib-parser GHC.Core.TyCo.Tidy Treat a new TyCoVar as a binder, and give it a fresh tidy name using the environment if one has not already been allocated. See also tidyVarBndr See Note [Tidying is idempotent]
tidyFreeTyCoVars :: TidyEnv -> [TyCoVar] -> TidyEnvghc-lib-parser GHC.Core.TyCo.Tidy Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in Precondition: input free vars are closed over kinds and This function does a scopedSort, so that tidied variables have tidied kinds. See Note [Tidying is idempotent]
tidyFreeTyCoVarsX :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyOpenType :: TidyEnv -> Type -> Typeghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyOpenTypeX :: TidyEnv -> Type -> (TidyEnv, Type)ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyOpenTypes :: TidyEnv -> [Type] -> [Type]ghc-lib-parser GHC.Core.TyCo.Tidy No documentation available.
tidyOpenTypesX :: TidyEnv -> [Type] -> (TidyEnv, [Type])ghc-lib-parser GHC.Core.TyCo.Tidy Grabs the free type variables, tidies them and then uses tidyType to work over the type itself