Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. avoidNameClashes :: [TyCoVar] -> TidyEnv -> TidyEnv

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

2. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.TyCo.Tidy

   Tidy a Coercion See Note [Strictness in tidyType and friends]

3. tidyCos :: TidyEnv -> [Coercion] -> [Coercion]

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

4. tidyForAllTyBinder :: TidyEnv -> VarBndr TyCoVar vis -> (TidyEnv, VarBndr TyCoVar vis)

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

5. tidyForAllTyBinders :: TidyEnv -> [VarBndr TyCoVar vis] -> (TidyEnv, [VarBndr TyCoVar vis])

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

6. tidyFreeTyCoVars :: TidyEnv -> [TyCoVar] -> TidyEnv

   ghc	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

7. tidyOpenTyCoVar :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)

   ghc	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

8. tidyOpenTyCoVars :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

9. tidyOpenType :: TidyEnv -> Type -> (TidyEnv, Type)

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

10. tidyOpenTypes :: TidyEnv -> [Type] -> (TidyEnv, [Type])

    ghc	GHC.Core.TyCo.Tidy

    Grabs the free type variables, tidies them and then uses tidyType to work over the type itself

Page 497 of many | Previous | Next