Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Core.Opt.Simplify.Utils

7 types
38 values

Packageghc-lib-parser-9.14.1.20251220
Exports45
LanguageGHC2021
LicenceBSD-3-Clause

valuerebuildLam

:: SimplEnv
-> [OutBndr]
-> OutExpr
-> SimplCont
-> SimplM OutExpr

valuemkCase

:: SimplMode
-> OutExpr
-> OutId
-> OutType
-> [OutAlt]
-> SimplM OutExpr

valueprepareAlts :: OutExpr -> InId -> [InAlt] -> SimplM ([AltCon], [InAlt])

valuetryEtaExpandRhs

valuewantEtaExpansion :: CoreExpr -> Bool

valuepreInlineUnconditionally

:: SimplEnv
-> TopLevelFlag
-> InId
-> InExpr
-> StaticEnv
-> Maybe SimplEnv

valuepostInlineUnconditionally

:: SimplEnv
-> BindContext
-> InId
-> OutId
-> OutExpr
-> Bool

valueactiveRule :: SimplMode -> Activation -> Bool

valuegetUnfoldingInRuleMatch :: SimplEnv -> InScopeEnv

valueupdModeForStableUnfoldings :: Activation -> SimplMode -> SimplMode

valueupdModeForRules :: SimplMode -> SimplMode

datadata BindContext

Constructors

BC_Let TopLevelFlag RecFlag
BC_Join RecFlag SimplCont

valuebindContextLevel :: BindContext -> TopLevelFlag

datadata SimplCont

Constructors

Stop OutType CallCtxt SubDemand
Stop[e] = e
CastIt
- sc_co :: OutCoercion
- sc_opt :: Bool
- sc_cont :: SimplCont
ApplyToVal
- sc_dup :: DupFlag
- sc_hole_ty :: OutType
- sc_arg :: InExpr
- sc_env :: StaticEnv
- sc_cont :: SimplCont
ApplyToTy
- sc_arg_ty :: OutType
- sc_hole_ty :: OutType
- sc_cont :: SimplCont
Select
- sc_dup :: DupFlag
- sc_bndr :: InId
- sc_alts :: [InAlt]
- sc_env :: StaticEnv
- sc_cont :: SimplCont
StrictBind
- sc_dup :: DupFlag
- sc_from :: FromWhat
- sc_bndr :: InId
- sc_body :: InExpr
- sc_env :: StaticEnv
- sc_cont :: SimplCont
StrictArg
- sc_dup :: DupFlag
- sc_fun :: ArgInfo
- sc_fun_ty :: OutType
- sc_cont :: SimplCont
TickIt CoreTickish SimplCont

Instances1Outputable

Outputable SimplContDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.Utils

datadata DupFlag

NoDup Simplified OkToDup

Instances1Outputable

Outputable DupFlagDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.Utils

datadata FromWhat

Constructors

FromLet
FromBeta Levity

typetype StaticEnv = SimplEnv

valueisSimplified :: DupFlag -> Bool

valuecontIsStop :: SimplCont -> Bool

valuecontIsDupable :: SimplCont -> Bool

valuecontResultType :: SimplCont -> OutType

valuecontHoleType :: SimplCont -> OutType

valuecontHoleScaling :: SimplCont -> Mult

valuecontIsTrivial :: SimplCont -> Bool

valuecontArgs :: SimplCont -> (Bool, [ArgSummary], SimplCont)

valuecontIsRhs :: SimplCont -> Maybe RecFlag

valuecountArgs :: SimplCont -> Int

valuecontOutArgs :: SimplEnv -> SimplCont -> [OutExpr]

valuedropContArgs :: FullArgCount -> SimplCont -> SimplCont

valuemkBoringStop :: OutType -> SimplCont

valuemkRhsStop :: OutType -> RecFlag -> Demand -> SimplCont

valuemkLazyArgStop :: OutType -> ArgInfo -> SimplCont

valueinterestingCallContext :: SimplEnv -> SimplCont -> CallCtxt

datadata ArgInfo

Constructors

ArgInfo
- ai_fun :: OutId
- ai_args :: [ArgSpec]
- ai_rules :: [CoreRule]
- ai_encl :: Bool
- ai_dmds :: [Demand]
- ai_discs :: [Int]

Instances1Outputable

Outputable ArgInfoDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.Utils

datadata ArgSpec

Constructors

ValArg
- as_dmd :: Demand
- as_arg :: OutExpr
- as_hole_ty :: OutType
TyArg
- as_arg_ty :: OutType
- as_hole_ty :: OutType

Instances1Outputable

Outputable ArgSpecDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.Utils

valuemkArgInfo :: SimplEnv -> Id -> [CoreRule] -> SimplCont -> ArgInfo

valueaddValArgTo :: ArgInfo -> OutExpr -> OutType -> ArgInfo

valueaddTyArgTo :: ArgInfo -> OutType -> OutType -> ArgInfo

valueargInfoExpr :: OutId -> [ArgSpec] -> OutExpr

valueargSpecArg :: ArgSpec -> OutExpr

valuepushSimplifiedArgs :: SimplEnv -> [ArgSpec] -> SimplCont -> SimplCont

valueisStrictArgInfo :: ArgInfo -> Bool

valuelazyArgContext :: ArgInfo -> CallCtxt

valueabstractFloats

valueisExitJoinId :: Var -> Bool