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