GHC.StgToJS.StgUtils

Documentation

bindingRefs :: UniqFM Id CgStgExpr -> CgStgBinding -> Set Id

collect Ids that this binding refers to (does not include the bindees themselves) first argument is Id -> StgExpr map for unfloated arguments

hasExport :: CgStgBinding -> Bool

collectTopIds :: CgStgBinding -> [Id]

collectIds :: UniqFM Id CgStgExpr -> CgStgBinding -> [Id]

removeTick :: CgStgExpr -> CgStgExpr

isUpdatableRhs :: CgStgRhs -> Bool

isInlineExpr :: UniqSet Id -> CgStgExpr -> (UniqSet Id, Bool)

returns True if the expression is definitely inline

exprRefs :: UniqFM Id CgStgExpr -> CgStgExpr -> Set Id

Live vars

type LiveVars = DVarSet

liveVars :: LiveVars -> LiveVars

liveStatic :: LiveVars -> LiveVars

stgRhsLive :: CgStgRhs -> LiveVars

stgExprLive :: Bool -> CgStgExpr -> LiveVars

stgTopBindLive :: CgStgTopBinding -> [(Id, LiveVars)]

stgLetNoEscapeLive :: Bool -> StgBinding -> StgExpr -> LiveVars

stgLneLiveExpr :: CgStgRhs -> [Id]

stgLneLive :: CgStgBinding -> [Id]

stgLneLive' :: CgStgBinding -> [Id]