StgSyn
Documentation
type GenStgLiveVars occ = UniqSet occ
data GenStgBinding bndr occ
data GenStgExpr bndr occ
Constructors
| 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) |
data GenStgRhs bndr occ
Constructors
| StgRhsClosure CostCentreStack StgBinderInfo [occ] !UpdateFlag SRT [bndr] (GenStgExpr bndr occ) | |
| StgRhsCon CostCentreStack DataCon [GenStgArg occ] |
type GenStgAlt bndr occ = (AltCon, [bndr], [Bool], GenStgExpr bndr occ)
data UpdateFlag
Constructors
| ReEntrant | |
| Updatable | |
| SingleEntry |
isUpdatable :: UpdateFlag -> Bool
data StgBinderInfo
satCallsOnly :: StgBinderInfo -> Bool
type StgLiveVars = GenStgLiveVars Id
type StgBinding = GenStgBinding Id Id
type StgExpr = GenStgExpr Id Id
data StgOp
Constructors
| StgPrimOp PrimOp | |
| StgPrimCallOp PrimCall | |
| StgFCallOp ForeignCall Unique |
stgBindHasCafRefs :: GenStgBinding bndr Id -> Bool
stgArgHasCafRefs :: GenStgArg Id -> Bool
stgRhsArity :: StgRhs -> Int
isDllConApp :: PackageId -> DataCon -> [StgArg] -> Bool
isStgTypeArg :: StgArg -> Bool
stgArgType :: StgArg -> Type
pprStgBinding :: StgBinding -> SDoc
pprStgBindings :: [StgBinding] -> SDoc
pprStgBindingsWithSRTs :: [(StgBinding, [(Id, [Id])])] -> SDoc