| Safe Haskell | None |
|---|
StgSyn
Documentation
Constructors
| StgVarArg occ | |
| StgLitArg Literal | |
| StgTypeArg Type |
Instances
| Outputable bdee => Outputable (GenStgArg bdee) |
type GenStgLiveVars occ = UniqSet occSource
data GenStgBinding bndr occ Source
Instances
| (Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgBinding bndr bdee) |
data GenStgExpr bndr occ Source
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 !Bool !Bool (GenStgExpr bndr occ) | |
| StgTick Module Int (GenStgExpr bndr occ) |
Instances
| (Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgExpr bndr bdee) |
data GenStgRhs bndr occ Source
Constructors
| StgRhsClosure CostCentreStack StgBinderInfo [occ] !UpdateFlag SRT [bndr] (GenStgExpr bndr occ) | |
| StgRhsCon CostCentreStack DataCon [GenStgArg occ] |
Instances
| (Outputable bndr, Outputable bdee, Ord bdee) => Outputable (GenStgRhs bndr bdee) |
type GenStgAlt bndr occ = (AltCon, [bndr], [Bool], GenStgExpr bndr occ)Source
Instances
isUpdatable :: UpdateFlag -> BoolSource
data StgBinderInfo Source
type StgLiveVars = GenStgLiveVars IdSource
type StgBinding = GenStgBinding Id IdSource
type StgExpr = GenStgExpr Id IdSource
Constructors
| StgPrimOp PrimOp | |
| StgPrimCallOp PrimCall | |
| StgFCallOp ForeignCall Unique |
stgBindHasCafRefs :: GenStgBinding bndr Id -> BoolSource
stgRhsArity :: StgRhs -> IntSource
isStgTypeArg :: StgArg -> BoolSource
stgArgType :: StgArg -> TypeSource
pprStgBindings :: [StgBinding] -> SDocSource
pprStgBindingsWithSRTs :: [(StgBinding, [(Id, [Id])])] -> SDocSource
pprStgLVs :: Outputable occ => GenStgLiveVars occ -> SDocSource