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. substIdInfo :: Subst -> Id -> IdInfo -> Maybe IdInfo

   ghc	GHC.Core.Subst

   Substitute into some IdInfo with regard to the supplied new Id. Discards unfoldings, unless they are Stable

2. substIdOcc :: Subst -> Id -> Id

   ghc	GHC.Core.Subst

   No documentation available.

3. substIdType :: Subst -> Id -> Id

   ghc	GHC.Core.Subst

   No documentation available.

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

   ghc	GHC.Core.Subst

   No documentation available.

5. module GHC.Core.Tidy

   No documentation available.

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

   ghc	GHC.Core.Tidy

   No documentation available.

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

   ghc	GHC.Core.Tidy

   No documentation available.

8. tidyExpr :: TidyEnv -> CoreExpr -> CoreExpr

   ghc	GHC.Core.Tidy

   No documentation available.

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

   ghc	GHC.Core.Tidy

   No documentation available.

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

Page 496 of many | Previous | Next