Hoogle Search

Within LTS Haskell 24.63 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Core.Type

   Add the free TyVars to the env in tidy form, so that we can tidy the type they are free in

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

   ghc	GHC.Core.Type

   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

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

   ghc	GHC.Core.Type

   No documentation available.

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

   ghc	GHC.Core.Type

   No documentation available.

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

   ghc	GHC.Core.Type

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

6. tidyTopType :: Type -> Type

   ghc	GHC.Core.Type

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

7. tidyTyCoVarOcc :: TidyEnv -> TyCoVar -> TyCoVar

   ghc	GHC.Core.Type

   No documentation available.

8. tidyType :: TidyEnv -> Type -> Type

   ghc	GHC.Core.Type

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

9. tidyTypes :: TidyEnv -> [Type] -> [Type]

   ghc	GHC.Core.Type

   Tidy a list of Types See Note [Strictness in tidyType and friends]

10. tidyVarBndr :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)

    ghc	GHC.Core.Type

    No documentation available.

Page 500 of many | Previous | Next