hoopl-3.7.3.3: A library to support dataflow analysis and optimization
Compiler.Hoopl.Graph
data O Source
Instances
data C Source
data Block n e x whereSource
Constructors
data Body n whereSource
data Graph n e x whereSource
data MaybeO ex t whereSource
class Edges thing whereSource
Methods
entryLabel :: thing C x -> LabelSource
successors :: thing e C -> [Label]Source
addBlock :: Block n C C -> Body n -> Body nSource
bodyList :: Edges n => Body n -> [(Label, Block n C C)]Source