Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.TyCo.Tidy

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

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

5. 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

6. 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

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

9. 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

10. tidyTopType :: Type -> Type

    ghc	GHC.Core.TyCo.Tidy

    Calls tidyType on a top-level type (i.e. with an empty tidying environment)

Page 498 of many | Previous | Next