Moduleghc-10.0.0.20260917GHC2024
GHC.Core.Opt.Simplify.Utils
Synopsis
- value rebuildLam
- value mkCase
- value prepareAlts
- value tryEtaExpandRhs
- value wantEtaExpansion
- value preInlineUnconditionally
- value postInlineUnconditionally
- value activeRule
- value getUnfoldingInRuleMatch
- value updModeForStableUnfoldings
- value updModeForRuleLHS
- value updModeForRuleRHS
- data BindContext
- value bindContextLevel
- data SimplCont
- data DupFlag
- data FromWhat
- type StaticEnv
- value isSimplified
- value contIsStop
- value contIsDupable
- value contResultType
- value contHoleType
- value contHoleScaling
- value contIsTrivial
- value contArgs
- value contIsRhs
- value mkBottomCont
- value countArgs
- value contOutArgs
- value dropContArgs
- value mkBoringStop
- value mkRhsStop
- value mkLazyArgStop
- value interestingCallContext
- data ArgInfo
- data ArgSpec
- value mkArgInfo
- value addValArgTo
- value addTyArgTo
- value argInfoExpr
- value argSpecArg
- value pushSimplifiedArgs
- value isStrictArgInfo
- value lazyArgContext
- value abstractFloats
- value isExitJoinId
- Packageghc-10.0.0.20260917
- Exports47
- LanguageGHC2024
- LicenceBSD-3-Clause
- SourceUtils.hs
Constructors
Instances1Outputable
Outputable SimplContDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Utils
Instances1Outputable
Outputable DupFlagDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Utils
Given a continuation cont, return a cont of the same type,
looking like (case <hole> of {}).
This is used when we are going to fill in the hole with bottom.
See (TC2,3) in Note [Trimming the continuation for bottoming functions]
Don't bother to trim, making a case hole of {}, if we have only
an essentially-trivial continuation; e.g. (hole @ty |> co).
Instances1Outputable
Outputable ArgInfoDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Utils
Instances1Outputable
Outputable ArgSpecDefined in ghc-10.0.0.20260917 · GHC.Core.Opt.Simplify.Utils