Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. smPlatform :: SimplMode -> Platform

    ghc GHC.Core.Opt.Simplify.Env

    No documentation available.

  2. updModeForRules :: SimplMode -> SimplMode

    ghc GHC.Core.Opt.Simplify.Utils

    No documentation available.

  3. updModeForStableUnfoldings :: Activation -> SimplMode -> SimplMode

    ghc GHC.Core.Opt.Simplify.Utils

    No documentation available.

  4. SpecFailForcedArgCount :: Name -> SpecFailWarning

    ghc GHC.Core.Opt.SpecConstr

    No documentation available.

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

  6. mkHomoForAllRedn :: [TyVarBinder] -> Reduction -> Reduction

    ghc GHC.Core.Reduction

    Create a Reduction of a quantified type from a Reduction of the body. Combines mkHomoForAllCos and mkForAllTys.

  7. pprRulesForUser :: [CoreRule] -> SDoc

    ghc GHC.Core.Rules

    No documentation available.

  8. roPlatform :: RuleOpts -> !Platform

    ghc GHC.Core.Rules.Config

    Target platform

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

    ghc GHC.Core.Subst

    No documentation available.

  10. cmpForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Ordering

    ghc GHC.Core.TyCo.Compare

    Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

Page 443 of many | Previous | Next