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

# Respecting Fuel

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