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.
tidyRules :: TidyEnv -> [CoreRule] -> [CoreRule]ghc GHC.Core.Tidy No documentation available.
mayLookIdentical :: Type -> Type -> Boolghc GHC.Core.TyCo.Compare Returns True if the visible part of the types might look equal, even if they are really unequal (in the invisible bits) This function is very similar to tc_eq_type but it is much more heuristic. Notably, it is always safe to return True, even with types that might (in truth) be unequal -- this affects error messages only (Originally there were one function with an extra flag, but the result was hard to understand.)
almostDevoidCoVarOfCo :: CoVar -> Coercion -> Boolghc 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
-
ghc GHC.Core.TyCo.Ppr No documentation available.
checkValidSubst :: HasDebugCallStack => Subst -> [Type] -> [Coercion] -> a -> aghc GHC.Core.TyCo.Subst This checks if the substitution satisfies the invariant from Note [The substitution invariant].
-
ghc GHC.Core.TyCo.Subst No documentation available.
getIdSubstEnv :: Subst -> IdSubstEnvghc GHC.Core.TyCo.Subst No documentation available.
isValidTCvSubst :: Subst -> Boolghc 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
mkIdSubst :: InScopeSet -> IdSubstEnv -> Substghc GHC.Core.TyCo.Subst No documentation available.
-
Tidying types and coercions for printing in error messages.