Moduleghc-10.0.0.20260917GHC2024

GHC.Stg.Lift.Types

Synopsis

datadata Skeleton

Captures details of the syntax tree relevant to the cost model, such as closures, multi-shot lambdas and case expressions.

Instances1Outputable

valuebothSk :: Skeleton -> Skeleton -> Skeleton

valuealtSk :: Skeleton -> Skeleton -> Skeleton

valuerhsSk :: Card -> Skeleton -> Skeleton

datadata BinderInfo

The type used in binder positions in GenStgExprs.

BindsClosure !Id !Bool
Let(-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 !Id
Every other kind of binder

Instances2Outputable, OutputableBndr

valuebinderInfoBndr :: BinderInfo -> Id

Gets the bound Id out a BinderInfo.

valuebinderInfoOccursAsArg :: BinderInfo -> Maybe Bool

Returns Nothing for BoringBinders and Just the flag indicating occurrences as argument or in a nullary applications otherwise.