Safe Haskell	Safe-Inferred
Language	Haskell2010

CFG

Documentation

Constructors

CFGContext
Fields semantic :: SemanticInfo

Instances details

Generic CFGContext Source #
Instance details Defined in CFG.Build Associated Types type Rep CFGContext :: Type -> Type # Methods from :: CFGContext -> Rep CFGContext x # to :: Rep CFGContext x -> CFGContext #
MonadReader CFGContext CFGBuild Source #
Instance details Defined in CFG.Build Methods ask :: CFGBuild CFGContext # local :: (CFGContext -> CFGContext) -> CFGBuild a -> CFGBuild a # reader :: (CFGContext -> a) -> CFGBuild a #
type Rep CFGContext Source #
Instance details Defined in CFG.Build type Rep CFGContext = D1 ('MetaData "CFGContext" "CFG.Build" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "CFGContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "semantic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SemanticInfo)))

Constructors

Instances details

Show Condition Source #
Instance details Defined in CFG.Types Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #

Constructors

BasicBlock
Fields bbid :: !BBID sid :: !ScopeID statements :: ![SSA]

Instances details

Generic BasicBlock Source #
Instance details Defined in CFG.Types Associated Types type Rep BasicBlock :: Type -> Type # Methods from :: BasicBlock -> Rep BasicBlock x # to :: Rep BasicBlock x -> BasicBlock #
Show BasicBlock Source #
Instance details Defined in CFG.Types Methods showsPrec :: Int -> BasicBlock -> ShowS # show :: BasicBlock -> String # showList :: [BasicBlock] -> ShowS #
type Rep BasicBlock Source #
Instance details Defined in CFG.Types type Rep BasicBlock = D1 ('MetaData "BasicBlock" "CFG.Types" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "BasicBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "bbid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BBID) :: (S1 ('MetaSel ('Just "sid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScopeID) :: S1 ('MetaSel ('Just "statements") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [SSA]))))

Constructors

SeqEdge
CondEdge !Condition

Instances details

Show CFGEdge Source #
Instance details Defined in CFG.Types Methods showsPrec :: Int -> CFGEdge -> ShowS # show :: CFGEdge -> String # showList :: [CFGEdge] -> ShowS #

Constructors

CFG
Fields graph :: !(Graph BBID BasicBlock CFGEdge) entry :: !BBID exit :: !BBID arguments :: ![Var] sig :: !MethodSig

Instances details

Generic CFG Source #
Instance details Defined in CFG.Types Associated Types type Rep CFG :: Type -> Type # Methods from :: CFG -> Rep CFG x # to :: Rep CFG x -> CFG #
type Rep CFG Source #
Instance details Defined in CFG.Types type Rep CFG = D1 ('MetaData "CFG" "CFG.Types" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "CFG" 'PrefixI 'True) ((S1 ('MetaSel ('Just "graph") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Graph BBID BasicBlock CFGEdge)) :: S1 ('MetaSel ('Just "entry") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BBID)) :: (S1 ('MetaSel ('Just "exit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 BBID) :: (S1 ('MetaSel ('Just "arguments") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Var]) :: S1 ('MetaSel ('Just "sig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MethodSig)))))

Constructors

SingleFileCFG
Fields declares :: ![Name] global :: ![(Var, Type)] cfgs :: !(Map Name CFG)

Instances details

Generic SingleFileCFG Source #
Instance details Defined in CFG.Types Associated Types type Rep SingleFileCFG :: Type -> Type # Methods from :: SingleFileCFG -> Rep SingleFileCFG x # to :: Rep SingleFileCFG x -> SingleFileCFG #
type Rep SingleFileCFG Source #
Instance details Defined in CFG.Types type Rep SingleFileCFG = D1 ('MetaData "SingleFileCFG" "CFG.Types" "decaf-0.1.0.0-GF5ZfPyXbr16gB58O7mLnT" 'False) (C1 ('MetaCons "SingleFileCFG" 'PrefixI 'True) (S1 ('MetaSel ('Just "declares") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Name]) :: (S1 ('MetaSel ('Just "global") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Var, Type)]) :: S1 ('MetaSel ('Just "cfgs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Name CFG)))))