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. substIdOcc :: Subst -> Id -> Id

   ghc	GHC.Core.Subst

   No documentation available.

2. substIdType :: Subst -> Id -> Id

   ghc	GHC.Core.Subst

   No documentation available.

3. substRulesForImportedIds :: Subst -> [CoreRule] -> [CoreRule]

   ghc	GHC.Core.Subst

   No documentation available.

4. module GHC.Core.Tidy

   No documentation available.

5. tidyBndrs :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Core.Tidy

   No documentation available.

6. tidyCbvInfoTop :: HasDebugCallStack => NameSet -> Id -> CoreExpr -> Id

   ghc	GHC.Core.Tidy

   No documentation available.

7. tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr

   ghc	GHC.Core.Tidy

   No documentation available.

8. tidyRules :: TidyEnv -> [CoreRule] -> [CoreRule]

   ghc	GHC.Core.Tidy

   No documentation available.

9. mayLookIdentical :: Type -> Type -> Bool

   ghc	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.)

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

Page 496 of many | Previous | Next