ghc-8.10.1: The GHC API
Safe HaskellNone
LanguageHaskell2010

StgSyn

Synopsis

Documentation

data StgArg Source #

Constructors

StgVarArg Id 
StgLitArg Literal 

Instances

Instances details
Outputable StgArg Source # 
Instance details

Defined in StgSyn

data GenStgTopBinding pass Source #

A top-level binding.

Instances

Instances details
OutputablePass pass => Outputable (GenStgTopBinding pass) Source # 
Instance details

Defined in StgSyn

data GenStgBinding pass Source #

Constructors

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

Instances

Instances details
OutputablePass pass => Outputable (GenStgBinding pass) Source # 
Instance details

Defined in StgSyn

data GenStgExpr pass Source #

Instances

Instances details
OutputablePass pass => Outputable (GenStgExpr pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgExpr pass -> SDoc Source #

pprPrec :: Rational -> GenStgExpr pass -> SDoc Source #

data GenStgRhs pass Source #

Constructors

StgRhsClosure 

Fields

StgRhsCon CostCentreStack DataCon [StgArg] 

Instances

Instances details
OutputablePass pass => Outputable (GenStgRhs pass) Source # 
Instance details

Defined in StgSyn

Methods

ppr :: GenStgRhs pass -> SDoc Source #

pprPrec :: Rational -> GenStgRhs pass -> SDoc Source #

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

data AltType Source #

Instances

Instances details
Outputable AltType Source # 
Instance details

Defined in StgSyn

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 'Vanilla Source # 
Instance details

Defined in StgSyn

type BinderP 'LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type BinderP 'CodeGen Source # 
Instance details

Defined in StgSyn

type family XRhsClosure (pass :: StgPass) Source #

Instances

Instances details
type XRhsClosure 'Vanilla Source # 
Instance details

Defined in StgSyn

type XRhsClosure 'LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XRhsClosure 'CodeGen Source #

Code gen needs to track non-global free vars

Instance details

Defined in StgSyn

type family XLet (pass :: StgPass) Source #

Instances

Instances details
type XLet 'Vanilla Source # 
Instance details

Defined in StgSyn

type XLet 'LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XLet 'CodeGen Source # 
Instance details

Defined in StgSyn

type family XLetNoEscape (pass :: StgPass) Source #

Instances

Instances details
type XLetNoEscape 'Vanilla Source # 
Instance details

Defined in StgSyn

type XLetNoEscape 'LiftLams Source # 
Instance details

Defined in StgLiftLams.Analysis

type XLetNoEscape 'CodeGen Source # 
Instance details

Defined in StgSyn

data NoExtFieldSilent Source #

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

Instances

Instances details
Eq NoExtFieldSilent Source # 
Instance details

Defined in StgSyn

Data NoExtFieldSilent Source # 
Instance details

Defined in StgSyn

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NoExtFieldSilent -> c NoExtFieldSilent #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NoExtFieldSilent #

toConstr :: NoExtFieldSilent -> Constr #

dataTypeOf :: NoExtFieldSilent -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NoExtFieldSilent) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NoExtFieldSilent) #

gmapT :: (forall b. Data b => b -> b) -> NoExtFieldSilent -> NoExtFieldSilent #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NoExtFieldSilent -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NoExtFieldSilent -> r #

gmapQ :: (forall d. Data d => d -> u) -> NoExtFieldSilent -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NoExtFieldSilent -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NoExtFieldSilent -> m NoExtFieldSilent #

Ord NoExtFieldSilent Source # 
Instance details

Defined in StgSyn

Outputable NoExtFieldSilent Source # 
Instance details

Defined in StgSyn

noExtFieldSilent :: NoExtFieldSilent Source #

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

data UpdateFlag Source #

Instances

Instances details
Outputable UpdateFlag Source # 
Instance details

Defined in StgSyn

isDllConApp :: DynFlags -> Module -> DataCon -> [StgArg] -> Bool Source #

Does this constructor application refer to anything in a different *Windows* DLL? If so, we can't allocate it statically

stgArgType :: StgArg -> Type Source #

Type of an StgArg

Very half baked because we have lost the type arguments.

stripStgTicksTop :: (Tickish Id -> Bool) -> GenStgExpr p -> ([Tickish Id], GenStgExpr p) Source #

Strip ticks of a given type from an STG expression.

stripStgTicksTopE :: (Tickish Id -> Bool) -> GenStgExpr p -> GenStgExpr p Source #

Strip ticks of a given type from an STG expression returning only the expression.

stgCaseBndrInScope Source #

Arguments

:: AltType 
-> Bool

unarised?

-> Bool 

Given an alt type and whether the program is unarised, return whether the case binder is in scope.

Case binders of unboxed tuple or unboxed sum type always dead after the unariser has run. See Note [Post-unarisation invariants].