Hoopl.Dataflow
data DataflowLattice a
data OldFact a
data NewFact a
type family Fact x f :: *
mkFactBase
data ChangeFlag
data FwdPass m n f
data FwdTransfer n f
mkFTransfer
mkFTransfer3
getFTransfer3
data FwdRewrite m n f
mkFRewrite
mkFRewrite3
getFRewrite3
noFwdRewrite
wrapFR
wrapFR2
data BwdPass m n f
data BwdTransfer n f
mkBTransfer
mkBTransfer3
getBTransfer3
wrapBR
wrapBR2
data BwdRewrite m n f
mkBRewrite
mkBRewrite3
getBRewrite3
noBwdRewrite
analyzeAndRewriteFwd
analyzeAndRewriteBwd
analyzeFwd
analyzeFwdBlocks
analyzeBwd