Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. substForAllCoBndrUsingLC :: Bool -> (Coercion -> Coercion) -> LiftingContext -> TyCoVar -> Coercion -> (LiftingContext, TyCoVar, Coercion)

   ghc	GHC.Core.Coercion

   Like substForAllCoBndr, but works on a lifting context

2. tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Core.Coercion

   No documentation available.

3. l_platform :: LintConfig -> !Platform

   ghc	GHC.Core.Lint

   Target platform

4. lpr_platform :: LintPassResultConfig -> !Platform

   ghc	GHC.Core.Lint

   No documentation available.

5. sePlatform :: SimplEnv -> Platform

   ghc	GHC.Core.Opt.Simplify.Env

   No documentation available.

6. smPlatform :: SimplMode -> Platform

   ghc	GHC.Core.Opt.Simplify.Env

   No documentation available.

7. updModeForRules :: SimplMode -> SimplMode

   ghc	GHC.Core.Opt.Simplify.Utils

   No documentation available.

8. updModeForStableUnfoldings :: Activation -> SimplMode -> SimplMode

   ghc	GHC.Core.Opt.Simplify.Utils

   No documentation available.

9. SpecFailForcedArgCount :: Name -> SpecFailWarning

   ghc	GHC.Core.Opt.SpecConstr

   No documentation available.

10. mkForAllRedn :: ForAllTyFlag -> TyVar -> ReductionN -> Reduction -> Reduction

    ghc	GHC.Core.Reduction

    Create a Reduction associated to a Π type, from a kind Reduction and a body Reduction. Combines mkForAllCo and mkForAllTy.

Page 443 of many | Previous | Next