:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05
Moduleghc-9.10.3GHC2021
Records the unfolding of an identifier, which is approximately the form the identifier would have if we substituted its definition in for the identifier. This type should be treated as abstract everywhere except in GHC.Core.Unfold
Outputable UnfoldingDefined in ghc-9.10.3 · GHC.Core.Ppr · orphanUnfoldingGuidance says when unfolding should take place
Eq UnfoldingGuidanceDefined in ghc-9.10.3 · GHC.CoreOutputable UnfoldingGuidanceDefined in ghc-9.10.3 · GHC.Core.Ppr · orphanThe size of a candidate expression for unfolding
TooBigSizeIs_es_size_is :: !IntSize found
_es_args :: !Bag (Id, Int)Arguments cased herein, and discount for each such
_es_discount :: !IntSize to subtract if result is scrutinised by a case expression
Outputable ExprSizeDefined in ghc-9.10.3 · GHC.Core.UnfoldOutputable ArgSummaryDefined in ghc-9.10.3 · GHC.Core.UnfoldOutputable CallCtxtDefined in ghc-9.10.3 · GHC.Core.UnfoldUnfolding options
UnfoldingOptsunfoldingCreationThreshold :: !IntThreshold above which unfoldings are not *created*
unfoldingUseThreshold :: !IntThreshold above which unfoldings are not *inlined*
unfoldingFunAppDiscount :: !IntDiscount for lambdas that are used (applied)
unfoldingDictDiscount :: !IntDiscount for dictionaries
unfoldingVeryAggressive :: !BoolForce inlining in many more cases
unfoldingCaseThreshold :: !IntDon't consider depth up to x
unfoldingCaseScaling :: !IntPenalize depth with 1/x
unfoldingReportPrefix :: !Maybe StringOnly report inlining decisions for names with this prefix