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. pprTidiedType :: Type -> SDoc

   ghc	GHC.Core.TyCo.Ppr

   No documentation available.

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

   ghc	GHC.Core.TyCo.Subst

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

3. emptyIdSubstEnv :: IdSubstEnv

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

4. getIdSubstEnv :: Subst -> IdSubstEnv

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

5. isValidTCvSubst :: Subst -> Bool

   ghc	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	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	GHC.Core.TyCo.Tidy

   No documentation available.

9. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.TyCo.Tidy

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

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

    ghc	GHC.Core.TyCo.Tidy

    No documentation available.

Page 497 of many | Previous | Next