Hoopl.Dataflow
data C
data O
data Block n e x
lastNode
entryLabel
foldNodesBwdOO
data DataflowLattice a
data OldFact a
data NewFact a
data JoinedFact a
type TransferFun f
type family Fact x f :: *
type FactBase f
getFact
mkFactBase
analyzeCmmFwd
analyzeCmmBwd
changedIf
joinOutFacts