StgSyn

Synopsis

• data GenStgArg occ
  • = StgVarArg occ
  • | StgLitArg Literal
• data GenStgTopBinding bndr occ
  • = StgTopLifted (GenStgBinding bndr occ)
  • | StgTopStringLit bndr ByteString
• data GenStgBinding bndr occ
  • = StgNonRec bndr (GenStgRhs bndr occ)
  • | StgRec [(bndr, GenStgRhs bndr occ)]
• data GenStgExpr bndr occ
  • = StgApp occ [GenStgArg occ]
  • | StgLit Literal
  • | StgConApp DataCon [GenStgArg occ] [Type]
  • | StgOpApp StgOp [GenStgArg occ] Type
  • | StgLam [bndr] StgExpr
  • | StgCase (GenStgExpr bndr occ) bndr AltType [GenStgAlt bndr occ]
  • | StgLet (GenStgBinding bndr occ) (GenStgExpr bndr occ)
  • | StgLetNoEscape (GenStgBinding bndr occ) (GenStgExpr bndr occ)
  • | StgTick (Tickish bndr) (GenStgExpr bndr occ)
• data GenStgRhs bndr occ
  • = StgRhsClosure CostCentreStack StgBinderInfo [occ] !UpdateFlag [bndr] (GenStgExpr bndr occ)
  • | StgRhsCon CostCentreStack DataCon [GenStgArg occ]
• type GenStgAlt bndr occ = (AltCon, [bndr], GenStgExpr bndr occ)
• data AltType
  • = PolyAlt
  • | MultiValAlt Int
  • | AlgAlt TyCon
  • | PrimAlt PrimRep
• data UpdateFlag
  • = ReEntrant
  • | Updatable
  • | SingleEntry
• isUpdatable :: UpdateFlag -> Bool
• data StgBinderInfo
• noBinderInfo :: StgBinderInfo
• stgSatOcc :: StgBinderInfo
• stgUnsatOcc :: StgBinderInfo
• satCallsOnly :: StgBinderInfo -> Bool
• combineStgBinderInfo :: StgBinderInfo -> StgBinderInfo -> StgBinderInfo
• type StgArg = GenStgArg Id
• type StgTopBinding = GenStgTopBinding Id Id
• type StgBinding = GenStgBinding Id Id
• type StgExpr = GenStgExpr Id Id
• type StgRhs = GenStgRhs Id Id
• type StgAlt = GenStgAlt Id Id
• type InStgArg = StgArg
• type InStgTopBinding = StgTopBinding
• type InStgBinding = StgBinding
• type InStgExpr = StgExpr
• type InStgRhs = StgRhs
• type InStgAlt = StgAlt
• type OutStgArg = StgArg
• type OutStgTopBinding = StgTopBinding
• type OutStgBinding = StgBinding
• type OutStgExpr = StgExpr
• type OutStgRhs = StgRhs
• type OutStgAlt = StgAlt
• data StgOp
  • = StgPrimOp PrimOp
  • | StgPrimCallOp PrimCall
  • | StgFCallOp ForeignCall Unique
• topStgBindHasCafRefs :: GenStgTopBinding bndr Id -> Bool
• stgArgHasCafRefs :: GenStgArg Id -> Bool
• stgRhsArity :: StgRhs -> Int
• isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool
• stgArgType :: StgArg -> Type
• stripStgTicksTop :: (Tickish Id -> Bool) -> StgExpr -> ([Tickish Id], StgExpr)
• pprStgBinding :: StgBinding -> SDoc
• pprStgTopBindings :: [StgTopBinding] -> SDoc

Documentation