hoopl-3.7.3.3: A library to support dataflow analysis and optimization

Compiler.Hoopl.MkGraph

Documentation

type AGraph n e x = FuelMonad (Graph n e x)Source

(<*>) :: AGraph n e O -> AGraph n O x -> AGraph n e xSource

emptyAGraph :: AGraph n O O Source

withFreshLabels :: Labels l => (l -> AGraph n e x) -> AGraph n e xSource

mkFirst :: n C O -> AGraph n C O Source

mkMiddle :: n O O -> AGraph n O O Source

mkMiddles :: [n O O] -> AGraph n O O Source

mkLast :: n O C -> AGraph n O C Source

mkEntry :: Block n O C -> AGraph n O C Source

mkBranch :: Node n => Label -> AGraph n O C Source

mkLabel :: Node n => Label -> AGraph n C O Source

mkWhileDo :: Node n => (Label -> Label -> AGraph n O C) -> AGraph n O O -> AGraph n O O Source

addEntrySeq :: AGraph n O C -> AGraph n C x -> AGraph n O xSource

addExitSeq :: AGraph n e C -> AGraph n C O -> AGraph n e O Source

catAGraphs :: [AGraph n O O] -> AGraph n O O Source

class IfThenElseable x whereSource

Methods

mkIfThenElse :: Node n => (Label -> Label -> AGraph n O C) -> AGraph n O x -> AGraph n O x -> AGraph n O xSource

Instances

IfThenElseable C
IfThenElseable O

class Edges n => Node n whereSource

Methods

mkBranchNode :: Label -> n O C Source

mkLabelNode :: Label -> n C O Source