Moduleghc-9.10.3GHC2021

GHC.StgToJS.ExprCtx

datadata ExprCtx

Context into which an expression is evaluated

valueinitExprCtx :: Id -> ExprCtx

Initialize an expression context in the context of the given top-level binding Id

valuectxIsEvaluated :: Id -> Bool

Predicate: do we know for sure that the given Id is evaluated?

valuectxSetSrcSpan :: RealSrcSpan -> ExprCtx -> ExprCtx

Set source location

valuectxSrcSpan :: ExprCtx -> Maybe RealSrcSpan

Source location

valuectxSetTop :: Id -> ExprCtx -> ExprCtx

Set top-level binding Id

valuectxTarget :: ExprCtx -> [TypedExpr]

Target variables for the evaluated expression

valuectxSetTarget :: [TypedExpr] -> ExprCtx -> ExprCtx

Set target

Let-no-escape

8 declarations

valuectxClearLneFrame :: ExprCtx -> ExprCtx

Remove information about the current LNE frame

valuectxUpdateLneFrame :: [(Id, Int)] -> [Id] -> ExprCtx -> ExprCtx

Update let-no-escape frame

valuectxLneFrameVars :: ExprCtx -> [(Id, Int)]

Contents of current LNE frame

Variables and their index on the stack

valuectxLneFrameSize :: ExprCtx -> Int

Cache the length of ctxLneFrameVars

valuectxIsLneBinding :: ExprCtx -> Id -> Bool

Does the given Id correspond to a LNE binding

valuectxIsLneLiveVar :: ExprCtx -> Id -> Bool

Does the given Id correspond to a LNE live var on the stack

valuectxLneBindingStackSize :: ExprCtx -> Id -> Maybe Int

Return the LNE stack size associated to the given Id. Return Nothing when the Id doesn't correspond to a LNE binding.

valuectxLneShrinkStack :: ExprCtx -> Int -> ExprCtx

Shrink the LNE stack to the given size