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. splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc-lib-parser	GHC.Core.Coercion

   No documentation available.

2. splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc-lib-parser	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for tyvar binder

3. substForAllCoBndrUsingLC :: SwapFlag -> (Coercion -> Coercion) -> LiftingContext -> TyCoVar -> Coercion -> (LiftingContext, TyCoVar, Coercion)

   ghc-lib-parser	GHC.Core.Coercion

   Like substForAllCoBndr, but works on a lifting context

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

   ghc-lib-parser	GHC.Core.Coercion

   No documentation available.

5. l_platform :: LintConfig -> !Platform

   ghc-lib-parser	GHC.Core.Lint

   Target platform

6. lpr_platform :: LintPassResultConfig -> !Platform

   ghc-lib-parser	GHC.Core.Lint

   No documentation available.

7. scrutOkForBinderSwap :: OutExpr -> BinderSwapDecision

   ghc-lib-parser	GHC.Core.Opt.OccurAnal

   No documentation available.

8. sePlatform :: SimplEnv -> Platform

   ghc-lib-parser	GHC.Core.Opt.Simplify.Env

   No documentation available.

9. smPlatform :: SimplMode -> Platform

   ghc-lib-parser	GHC.Core.Opt.Simplify.Env

   No documentation available.

10. updModeForRules :: SimplMode -> SimplMode

    ghc-lib-parser	GHC.Core.Opt.Simplify.Utils

    No documentation available.

Page 669 of many | Previous | Next