Captures details of the syntax tree relevant to the cost model, such as closures, multi-shot lambdas and case expressions.
Instances1Outputable
Outputable SkeletonDefined in ghc-9.10.3 · GHC.Stg.Lift.Types
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Moduleghc-9.10.3GHC2021
Captures details of the syntax tree relevant to the cost model, such as closures, multi-shot lambdas and case expressions.
Outputable SkeletonDefined in ghc-9.10.3 · GHC.Stg.Lift.TypesThe type used in binder positions in GenStgExprs.
BindsClosure !Id !BoolLet(-no-escape)-bound thing with a flag
indicating whether it occurs as an argument
or in a nullary application
(see GHC.Stg.Lift.Analysis#arg_occs).
BoringBinder !IdEvery other kind of binder
Outputable BinderInfoDefined in ghc-9.10.3 · GHC.Stg.Lift.TypesOutputableBndr BinderInfoDefined in ghc-9.10.3 · GHC.Stg.Lift.TypesGets the bound Id out a BinderInfo.
Returns Nothing for BoringBinders and Just the flag indicating occurrences as argument or in a nullary applications otherwise.