GHC.StgToJS.Utils · ghc-9.14.1

valueassignCoerce1 :: [TypedExpr] -> [TypedExpr] -> JStgStat

#

Assign first expr only (if it exists), performing coercions between some PrimReps (e.g. StablePtr# and Addr#).

valueassignToExprCtx :: ExprCtx -> [JStgExpr] -> JStgStat

#

valuefixedLayout :: [JSRep] -> CILayout

#

valueassocIdExprs :: Id -> [JStgExpr] -> [TypedExpr]

#

Associate the given JExpr to the Id's PrimReps, taking into account the number of slots per PrimRep

Unboxable datacon

3 declarations

valueisUnboxableCon :: DataCon -> Bool

#

can we unbox C x to x, only if x is represented as a Number

valueisUnboxable :: JSRep -> Bool

#

one-constructor types with one primitive field represented as a JS Number can be unboxed

valueisBoolDataCon :: DataCon -> Bool

#

JSRep

13 declarations

valueslotCount :: SlotCount -> Int

#

Return SlotCount as an Int

valuevarSize :: JSRep -> Int

#

Number of slots occupied by a value with the given JSRep

valuetypeSize :: Type -> Int

#

valueisVoid :: JSRep -> Bool

#

valueisMultiVar :: JSRep -> Bool

#

valueidJSRep :: HasDebugCallStack => Id -> [JSRep]

#

valuetypeJSRep :: HasDebugCallStack => Type -> [JSRep]

#

valueunaryTypeJSRep :: HasDebugCallStack => UnaryType -> JSRep

#

valueprimRepToJSRep :: HasDebugCallStack => PrimRep -> JSRep

#

valueprimOrVoidRepToJSRep :: HasDebugCallStack => PrimOrVoidRep -> JSRep

#

valuestackSlotType :: Id -> JSRep

#

valueprimRepSize :: PrimRep -> SlotCount

#

valuemkArityTag :: Int -> Int -> Int

#

References and Ids

4 declarations

valueexprRefs :: UniqFM Id CgStgExpr -> CgStgExpr -> Set Id

#

valuehasExport :: CgStgBinding -> Bool

#

valuecollectTopIds :: CgStgBinding -> [Id]

#

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

#

Live variables

9 declarations

typetype LiveVars = DVarSet

#

valueliveStatic :: LiveVars -> LiveVars

#

valueliveVars :: LiveVars -> LiveVars

#

valuestgRhsLive :: CgStgRhs -> LiveVars

#

valuestgExprLive :: Bool -> CgStgExpr -> LiveVars

#

valueisUpdatableRhs :: CgStgRhs -> Bool

#

valuestgLneLive' :: CgStgBinding -> [Id]

#

valuestgLneLiveExpr :: CgStgRhs -> [Id]

#

valueisInlineExpr :: CgStgExpr -> Bool

#

returns True if the expression is definitely inline