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.
updModeForStableUnfoldings :: Activation -> SimplMode -> SimplModeghc-lib-parser GHC.Core.Opt.Simplify.Utils No documentation available.
mkForAllRedn :: ForAllTyFlag -> TyVar -> ReductionN -> Reduction -> Reductionghc-lib-parser 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-lib-parser GHC.Core.Reduction Create a Reduction of a quantified type from a Reduction of the body. Combines mkHomoForAllCos and mkForAllTys.
pprRulesForUser :: [CoreRule] -> SDocghc-lib-parser GHC.Core.Rules No documentation available.
roPlatform :: RuleOpts -> !Platformghc-lib-parser GHC.Core.Rules.Config Target platform
substRulesForImportedIds :: Subst -> [CoreRule] -> [CoreRule]ghc-lib-parser GHC.Core.Subst No documentation available.
cmpForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Orderingghc-lib-parser 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.
eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Boolghc-lib-parser 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.
pprForAll :: [ForAllTyBinder] -> SDocghc-lib-parser GHC.Core.TyCo.Ppr No documentation available.
pprUserForAll :: [ForAllTyBinder] -> SDocghc-lib-parser GHC.Core.TyCo.Ppr Print a user-level forall; see Note [When to print foralls] in GHC.Iface.Type.