GHC.Core.Opt.Simplify.Utils · ghc-9.10.3

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
-> OutId
-> OccInfo
-> OutExpr
-> Bool

#

valueactiveUnfolding :: SimplMode -> Id -> 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 OutCoercion 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-9.10.3 · GHC.Core.Opt.Simplify.Utils

datadata DupFlag

#

NoDup Simplified OkToDup

Instances1Outputable

Outputable DupFlagDefined in ghc-9.10.3 · 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

#

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_rewrite :: RewriteCall
- ai_encl :: Bool
- ai_dmds :: [Demand]
- ai_discs :: [Int]

Instances1Outputable

Outputable ArgInfoDefined in ghc-9.10.3 · 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
CastBy OutCoercion

Instances1Outputable

Outputable ArgSpecDefined in ghc-9.10.3 · GHC.Core.Opt.Simplify.Utils

datadata RewriteCall

#

Constructors

valuemkArgInfo :: SimplEnv -> RuleEnv -> Id -> SimplCont -> ArgInfo

#

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

#

valueaddCastTo :: ArgInfo -> OutCoercion -> ArgInfo

#

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

#

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

#

valueargInfoAppArgs :: [ArgSpec] -> [OutExpr]

#

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

#

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

#

valueisStrictArgInfo :: ArgInfo -> Bool

#

valuelazyArgContext :: ArgInfo -> CallCtxt

#

valueabstractFloats

#

valueisExitJoinId :: Var -> Bool

#