Safe Haskell	Safe-Inferred
Language	Haskell2010

GHC.Stg.Syntax

Synopsis

data StgArg
- = StgVarArg Id
- | StgLitArg Literal
data GenStgTopBinding pass
- = StgTopLifted (GenStgBinding pass)
- | StgTopStringLit Id ByteString
data GenStgBinding pass
- = StgNonRec (BinderP pass) (GenStgRhs pass)
- | StgRec [(BinderP pass, GenStgRhs pass)]
data GenStgExpr pass
- = StgApp Id [StgArg]
- | StgLit Literal
- | StgConApp DataCon (XConApp pass) [StgArg] [Type]
- | StgOpApp StgOp [StgArg] Type
- | StgCase (GenStgExpr pass) (BinderP pass) AltType [GenStgAlt pass]
- | StgLet (XLet pass) (GenStgBinding pass) (GenStgExpr pass)
- | StgLetNoEscape (XLetNoEscape pass) (GenStgBinding pass) (GenStgExpr pass)
- | StgTick StgTickish (GenStgExpr pass)
data GenStgRhs pass
- = StgRhsClosure (XRhsClosure pass) CostCentreStack !UpdateFlag [BinderP pass] (GenStgExpr pass)
- | StgRhsCon CostCentreStack DataCon ConstructorNumber [StgTickish] [StgArg]
type GenStgAlt pass = (AltCon, [BinderP pass], GenStgExpr pass)
data AltType
- = PolyAlt
- | MultiValAlt Int
- | AlgAlt TyCon
- | PrimAlt PrimRep
data StgPass
- = Vanilla
- | LiftLams
- | CodeGen
type family BinderP (pass :: StgPass)
type family XRhsClosure (pass :: StgPass)
type family XLet (pass :: StgPass)
type family XLetNoEscape (pass :: StgPass)
type family XConApp (pass :: StgPass)
data NoExtFieldSilent
noExtFieldSilent :: NoExtFieldSilent
type OutputablePass pass = (Outputable (XLet pass), Outputable (XConApp pass), Outputable (XLetNoEscape pass), Outputable (XRhsClosure pass), OutputableBndr (BinderP pass))
data UpdateFlag
- = ReEntrant
- | Updatable
- | SingleEntry
isUpdatable :: UpdateFlag -> Bool
data ConstructorNumber
- = NoNumber
- | Numbered Int
type StgTopBinding = GenStgTopBinding 'Vanilla
type StgBinding = GenStgBinding 'Vanilla
type StgExpr = GenStgExpr 'Vanilla
type StgRhs = GenStgRhs 'Vanilla
type StgAlt = GenStgAlt 'Vanilla
type CgStgTopBinding = GenStgTopBinding 'CodeGen
type CgStgBinding = GenStgBinding 'CodeGen
type CgStgExpr = GenStgExpr 'CodeGen
type CgStgRhs = GenStgRhs 'CodeGen
type CgStgAlt = GenStgAlt 'CodeGen
type LlStgTopBinding = GenStgTopBinding 'LiftLams
type LlStgBinding = GenStgBinding 'LiftLams
type LlStgExpr = GenStgExpr 'LiftLams
type LlStgRhs = GenStgRhs 'LiftLams
type LlStgAlt = GenStgAlt 'LiftLams
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 Type
stgRhsArity :: StgRhs -> Int
freeVarsOfRhs :: XRhsClosure pass ~ DIdSet => GenStgRhs pass -> DIdSet
isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool
stgArgType :: StgArg -> Type
stripStgTicksTop :: (StgTickish -> Bool) -> GenStgExpr p -> ([StgTickish], GenStgExpr p)
stripStgTicksTopE :: (StgTickish -> Bool) -> GenStgExpr p -> GenStgExpr p
stgCaseBndrInScope :: AltType -> Bool -> Bool
bindersOf :: BinderP a ~ Id => GenStgBinding a -> [Id]
bindersOfTop :: BinderP a ~ Id => GenStgTopBinding a -> [Id]
bindersOfTopBinds :: BinderP a ~ Id => [GenStgTopBinding a] -> [Id]
data StgPprOpts = StgPprOpts {
- stgSccEnabled :: !Bool
}
initStgPprOpts :: DynFlags -> StgPprOpts
panicStgPprOpts :: StgPprOpts
shortStgPprOpts :: StgPprOpts
pprStgArg :: StgArg -> SDoc
pprStgExpr :: OutputablePass pass => StgPprOpts -> GenStgExpr pass -> SDoc
pprStgRhs :: OutputablePass pass => StgPprOpts -> GenStgRhs pass -> SDoc
pprStgBinding :: StgPprOpts -> StgBinding -> SDoc
pprGenStgTopBinding :: OutputablePass pass => StgPprOpts -> GenStgTopBinding pass -> SDoc
pprStgTopBinding :: StgPprOpts -> StgTopBinding -> SDoc
pprGenStgTopBindings :: OutputablePass pass => StgPprOpts -> [GenStgTopBinding pass] -> SDoc
pprStgTopBindings :: StgPprOpts -> [StgTopBinding] -> SDoc

Documentation

data StgArg Source #

Constructors

StgVarArg Id
StgLitArg Literal

Instances

Instances details

Outputable StgArg Source #
Instance details Defined in GHC.Stg.Syntax Methods ppr :: StgArg -> SDoc Source #

data GenStgTopBinding pass Source #

A top-level binding.

Constructors

StgTopLifted (GenStgBinding pass)
StgTopStringLit Id ByteString

data GenStgBinding pass Source #

Constructors

StgNonRec (BinderP pass) (GenStgRhs pass)
StgRec [(BinderP pass, GenStgRhs pass)]

data GenStgExpr pass Source #

Constructors

StgApp Id [StgArg]
StgLit Literal
StgConApp DataCon (XConApp pass) [StgArg] [Type]
StgOpApp StgOp [StgArg] Type
StgCase (GenStgExpr pass) (BinderP pass) AltType [GenStgAlt pass]
StgLet (XLet pass) (GenStgBinding pass) (GenStgExpr pass)
StgLetNoEscape (XLetNoEscape pass) (GenStgBinding pass) (GenStgExpr pass)
StgTick StgTickish (GenStgExpr pass)

data GenStgRhs pass Source #

Constructors

StgRhsClosure
Fields (XRhsClosure pass) Extension point for non-global free var list just before `CodeGen`. CostCentreStack CCS to be attached (default is CurrentCCS) !UpdateFlag `ReEntrant` \| `Updatable` \| `SingleEntry` [BinderP pass] arguments; if empty, then not a function; as above, order is important. (GenStgExpr pass) body
StgRhsCon CostCentreStack DataCon ConstructorNumber [StgTickish] [StgArg]

type GenStgAlt pass = (AltCon, [BinderP pass], GenStgExpr pass) Source #

data AltType Source #

Constructors

PolyAlt
MultiValAlt Int
AlgAlt TyCon
PrimAlt PrimRep

Instances

Instances details

Outputable AltType Source #
Instance details Defined in GHC.Stg.Syntax Methods ppr :: AltType -> SDoc Source #

data StgPass Source #

Used as a data type index for the stgSyn AST

Constructors

Vanilla
LiftLams
CodeGen

type family BinderP (pass :: StgPass) Source #

Instances

Instances details

type BinderP 'CodeGen Source #
Instance details Defined in GHC.Stg.Syntax type BinderP 'CodeGen = Id
type BinderP 'LiftLams Source #
Instance details Defined in GHC.Stg.Lift.Analysis type BinderP 'LiftLams = BinderInfo
type BinderP 'Vanilla Source #
Instance details Defined in GHC.Stg.Syntax type BinderP 'Vanilla = Id

type family XRhsClosure (pass :: StgPass) Source #

Instances

Instances details

type XRhsClosure 'CodeGen Source #	Code gen needs to track non-global free vars
Instance details Defined in GHC.Stg.Syntax type XRhsClosure 'CodeGen = DIdSet
type XRhsClosure 'LiftLams Source #
Instance details Defined in GHC.Stg.Lift.Analysis type XRhsClosure 'LiftLams = DIdSet
type XRhsClosure 'Vanilla Source #
Instance details Defined in GHC.Stg.Syntax type XRhsClosure 'Vanilla = NoExtFieldSilent

type family XLet (pass :: StgPass) Source #

Instances

Instances details

type XLet 'CodeGen Source #
Instance details Defined in GHC.Stg.Syntax type XLet 'CodeGen = NoExtFieldSilent
type XLet 'LiftLams Source #
Instance details Defined in GHC.Stg.Lift.Analysis type XLet 'LiftLams = Skeleton
type XLet 'Vanilla Source #
Instance details Defined in GHC.Stg.Syntax type XLet 'Vanilla = NoExtFieldSilent

type family XLetNoEscape (pass :: StgPass) Source #

Instances

Instances details

type XLetNoEscape 'CodeGen Source #
Instance details Defined in GHC.Stg.Syntax type XLetNoEscape 'CodeGen = NoExtFieldSilent
type XLetNoEscape 'LiftLams Source #
Instance details Defined in GHC.Stg.Lift.Analysis type XLetNoEscape 'LiftLams = Skeleton
type XLetNoEscape 'Vanilla Source #
Instance details Defined in GHC.Stg.Syntax type XLetNoEscape 'Vanilla = NoExtFieldSilent

type family XConApp (pass :: StgPass) Source #

Instances

Instances details

type XConApp 'CodeGen Source #
Instance details Defined in GHC.Stg.Syntax type XConApp 'CodeGen = ConstructorNumber
type XConApp 'LiftLams Source #
Instance details Defined in GHC.Stg.Lift.Analysis type XConApp 'LiftLams = ConstructorNumber
type XConApp 'Vanilla Source #
Instance details Defined in GHC.Stg.Syntax type XConApp 'Vanilla = ConstructorNumber

data NoExtFieldSilent Source #

Like NoExtField, but with an Outputable instance that returns empty.

Instances

Instances details

Data NoExtFieldSilent Source #
Instance details Defined in GHC.Stg.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoExtFieldSilent -> c NoExtFieldSilent Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtFieldSilent Source # toConstr :: NoExtFieldSilent -> Constr Source # dataTypeOf :: NoExtFieldSilent -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtFieldSilent) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtFieldSilent) Source # gmapT :: (forall b. Data b => b -> b) -> NoExtFieldSilent -> NoExtFieldSilent Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtFieldSilent -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtFieldSilent -> r Source # gmapQ :: (forall d. Data d => d -> u) -> NoExtFieldSilent -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtFieldSilent -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent Source #
Outputable NoExtFieldSilent Source #
Instance details Defined in GHC.Stg.Syntax Methods ppr :: NoExtFieldSilent -> SDoc Source #
Eq NoExtFieldSilent Source #
Instance details Defined in GHC.Stg.Syntax Methods (==) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool # (/=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool #
Ord NoExtFieldSilent Source #
Instance details Defined in GHC.Stg.Syntax Methods compare :: NoExtFieldSilent -> NoExtFieldSilent -> Ordering # (<) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool # (<=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool # (>) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool # (>=) :: NoExtFieldSilent -> NoExtFieldSilent -> Bool # max :: NoExtFieldSilent -> NoExtFieldSilent -> NoExtFieldSilent # min :: NoExtFieldSilent -> NoExtFieldSilent -> NoExtFieldSilent #

noExtFieldSilent :: NoExtFieldSilent Source #

Used when constructing a term with an unused extension point that should not appear in pretty-printed output at all.

type OutputablePass pass = (Outputable (XLet pass), Outputable (XConApp pass), Outputable (XLetNoEscape pass), Outputable (XRhsClosure pass), OutputableBndr (BinderP pass)) Source #

data UpdateFlag Source #

Constructors

ReEntrant
Updatable
SingleEntry

Instances

Instances details

Outputable UpdateFlag Source #
Instance details Defined in GHC.Stg.Syntax Methods ppr :: UpdateFlag -> SDoc Source #

isUpdatable :: UpdateFlag -> Bool Source #

data ConstructorNumber Source #

When `-fdistinct-constructor-tables` is turned on then each usage of a constructor is given an unique number and an info table is generated for each different constructor.

Constructors