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. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Plugins

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

2. tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Plugins

   No documentation available.

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

   ghc	GHC.Plugins

   No documentation available.

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

   ghc	GHC.Plugins

   No documentation available.

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

   ghc	GHC.Plugins

   No documentation available.

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

   ghc	GHC.Plugins

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

7. tidyNameOcc :: Name -> OccName -> Name

   ghc	GHC.Plugins

   No documentation available.

8. tidyOccName :: TidyOccEnv -> OccName -> (TidyOccEnv, OccName)

   ghc	GHC.Plugins

   No documentation available.

9. tidyOccName :: TidyOccEnv -> OccName -> (TidyOccEnv, OccName)

   ghc	GHC.Plugins

   No documentation available.

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

    ghc	GHC.Plugins

    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

Page 535 of many | Previous | Next