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. almostDevoidCoVarOfCo :: CoVar -> Coercion -> Bool

   ghc	GHC.Core.TyCo.FVs

   Given a covar and a coercion, returns True if covar is almost devoid in the coercion. That is, covar can only appear in Refl and GRefl. See (FC6) in Note [ForAllCo] in GHC.Core.TyCo.Rep

2. pprTidiedType :: Type -> SDoc

   ghc	GHC.Core.TyCo.Ppr

   No documentation available.

3. 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].

4. emptyIdSubstEnv :: IdSubstEnv

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

5. getIdSubstEnv :: Subst -> IdSubstEnv

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

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

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

   ghc	GHC.Core.TyCo.Subst

   No documentation available.

8. module GHC.Core.TyCo.Tidy

   Tidying types and coercions for printing in error messages.

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

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

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

    ghc	GHC.Core.TyCo.Tidy

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

Page 497 of many | Previous | Next