Documentation
Outputable bdee => Outputable (GenStgArg bdee) |
type GenStgLiveVars occ = UniqSet occSource
data GenStgBinding bndr occ Source
(Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgBinding bndr bdee) |
data GenStgExpr bndr occ Source
StgApp occ [GenStgArg occ] | |
StgLit Literal | |
StgConApp DataCon [GenStgArg occ] | |
StgOpApp StgOp [GenStgArg occ] Type | |
StgLam Type [bndr] StgExpr | |
StgCase (GenStgExpr bndr occ) (GenStgLiveVars occ) (GenStgLiveVars occ) bndr SRT AltType [GenStgAlt bndr occ] | |
StgLet (GenStgBinding bndr occ) (GenStgExpr bndr occ) | |
StgLetNoEscape (GenStgLiveVars occ) (GenStgLiveVars occ) (GenStgBinding bndr occ) (GenStgExpr bndr occ) | |
StgSCC CostCentre (GenStgExpr bndr occ) | |
StgTick Module Int (GenStgExpr bndr occ) |
(Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgExpr bndr bdee) |
data GenStgRhs bndr occ Source
StgRhsClosure CostCentreStack StgBinderInfo [occ] !UpdateFlag SRT [bndr] (GenStgExpr bndr occ) | |
StgRhsCon CostCentreStack DataCon [GenStgArg occ] |
(Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgRhs bndr bdee) |
type GenStgAlt bndr occ = (AltCon, [bndr], [Bool], GenStgExpr bndr occ)Source
isUpdatable :: UpdateFlag -> BoolSource
data StgBinderInfo Source
type StgLiveVars = GenStgLiveVars IdSource
type StgBinding = GenStgBinding Id IdSource
type StgExpr = GenStgExpr Id IdSource
stgBindHasCafRefs :: GenStgBinding bndr Id -> BoolSource
stgRhsArity :: StgRhs -> IntSource
isStgTypeArg :: StgArg -> BoolSource
stgArgType :: StgArg -> TypeSource
pprStgBindings :: [StgBinding] -> SDocSource
pprStgBindingsWithSRTs :: [(StgBinding, [(Id, [Id])])] -> SDocSource