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.

Exact lookup

1. pprTidiedType :: Type -> SDoc

   ghc-lib-parser	GHC.Core.TyCo.Ppr

   No documentation available.

2. checkValidSubst :: HasDebugCallStack => Subst -> [Type] -> [Coercion] -> a -> a

   ghc-lib-parser	GHC.Core.TyCo.Subst

   This checks if the substitution satisfies the invariant from Note [The substitution invariant].

3. emptyIdSubstEnv :: IdSubstEnv

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

4. getIdSubstEnv :: Subst -> IdSubstEnv

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

5. isValidTCvSubst :: Subst -> Bool

   ghc-lib-parser	GHC.Core.TyCo.Subst

   When calling substTy it should be the case that the in-scope set in the substitution is a superset of the free vars of the range of the substitution. See also Note [The substitution invariant]. TODO: take into account ids and rename as isValidSubst

6. mkIdSubst :: InScopeSet -> IdSubstEnv -> Subst

   ghc-lib-parser	GHC.Core.TyCo.Subst

   No documentation available.

7. module GHC.Core.TyCo.Tidy

   Tidying types and coercions for printing in error messages.

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

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

9. tidyAvoiding :: [OccName] -> (TidyEnv -> a -> TidyEnv) -> a -> TidyEnv

   ghc-lib-parser	GHC.Core.TyCo.Tidy

   No documentation available.

10. tidyCo :: TidyEnv -> Coercion -> Coercion

    ghc-lib-parser	GHC.Core.TyCo.Tidy

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

Page 996 of many | Previous | Next