Hoogle Search
Within LTS Haskell 24.51 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
l_platform :: LintConfig -> !Platformghc GHC.Core.Lint Target platform
lpr_platform :: LintPassResultConfig -> !Platformghc GHC.Core.Lint No documentation available.
sePlatform :: SimplEnv -> Platformghc GHC.Core.Opt.Simplify.Env No documentation available.
smPlatform :: SimplMode -> Platformghc GHC.Core.Opt.Simplify.Env No documentation available.
updModeForRules :: SimplMode -> SimplModeghc GHC.Core.Opt.Simplify.Utils No documentation available.
updModeForStableUnfoldings :: Activation -> SimplMode -> SimplModeghc GHC.Core.Opt.Simplify.Utils No documentation available.
SpecFailForcedArgCount :: Name -> SpecFailWarningghc GHC.Core.Opt.SpecConstr No documentation available.
mkForAllRedn :: ForAllTyFlag -> TyVar -> ReductionN -> Reduction -> Reductionghc GHC.Core.Reduction Create a Reduction associated to a Π type, from a kind Reduction and a body Reduction. Combines mkForAllCo and mkForAllTy.
mkHomoForAllRedn :: [TyVarBinder] -> Reduction -> Reductionghc GHC.Core.Reduction Create a Reduction of a quantified type from a Reduction of the body. Combines mkHomoForAllCos and mkForAllTys.
pprRulesForUser :: [CoreRule] -> SDocghc GHC.Core.Rules No documentation available.