Contents
Index
hoopl-3.7.7.0: A library to support dataflow analysis and optimization
Index
<*>
Compiler.Hoopl
addBlock
Compiler.Hoopl
addEntrySeq
Compiler.Hoopl
addExitSeq
Compiler.Hoopl
AGraph
Compiler.Hoopl
analyzeAndRewriteBwd
Compiler.Hoopl
analyzeAndRewriteFwd
Compiler.Hoopl
BCat
Compiler.Hoopl
Block
Compiler.Hoopl
Body
Compiler.Hoopl
bodyList
Compiler.Hoopl
bodyMap
Compiler.Hoopl
bp_lattice
Compiler.Hoopl
bp_rewrite
Compiler.Hoopl
bp_transfer
Compiler.Hoopl
BUnit
Compiler.Hoopl
BwdPass
1 (Type/Class)
Compiler.Hoopl
2 (Data Constructor)
Compiler.Hoopl
BwdRewrite
Compiler.Hoopl
BwdTransfer
Compiler.Hoopl
C
Compiler.Hoopl
catAGraphs
Compiler.Hoopl
ChangeFlag
Compiler.Hoopl
changeIf
Compiler.Hoopl
DataflowLattice
1 (Type/Class)
Compiler.Hoopl
2 (Data Constructor)
Compiler.Hoopl
deepBwdRw
Compiler.Hoopl
deepFwdRw
Compiler.Hoopl
delFromFactBase
Compiler.Hoopl
Edges
Compiler.Hoopl
elemFactBase
Compiler.Hoopl
elemLabelSet
Compiler.Hoopl
emptyAGraph
Compiler.Hoopl
emptyClosedAGraph
Compiler.Hoopl
emptyLabelSet
Compiler.Hoopl
entryLabel
Compiler.Hoopl
extendFactBase
Compiler.Hoopl
extendLabelSet
Compiler.Hoopl
Fact
Compiler.Hoopl
FactBase
Compiler.Hoopl
factBaseLabels
Compiler.Hoopl
factBaseList
Compiler.Hoopl
fact_bot
Compiler.Hoopl
fact_do_logging
Compiler.Hoopl
fact_extend
Compiler.Hoopl
fact_name
Compiler.Hoopl
fp_lattice
Compiler.Hoopl
fp_rewrite
Compiler.Hoopl
fp_transfer
Compiler.Hoopl
freshLabel
Compiler.Hoopl
Fuel
Compiler.Hoopl
FuelMonad
Compiler.Hoopl
FwdPass
1 (Type/Class)
Compiler.Hoopl
2 (Data Constructor)
Compiler.Hoopl
FwdRewrite
Compiler.Hoopl
FwdTransfer
Compiler.Hoopl
gCatClosed
Compiler.Hoopl
GMany
Compiler.Hoopl
GNil
Compiler.Hoopl
Graph
Compiler.Hoopl
GUnit
Compiler.Hoopl
IfThenElseable
Compiler.Hoopl
interLabelSet
Compiler.Hoopl
iterBwdRw
Compiler.Hoopl
iterFwdRw
Compiler.Hoopl
JoinFun
Compiler.Hoopl
JustO
Compiler.Hoopl
Label
Compiler.Hoopl
LabelMap
Compiler.Hoopl
LabelSet
Compiler.Hoopl
labelSetElems
Compiler.Hoopl
lookupFact
Compiler.Hoopl
MaybeO
Compiler.Hoopl
minusLabelSet
Compiler.Hoopl
mkBranch
Compiler.Hoopl
mkBranchNode
Compiler.Hoopl
mkEntry
Compiler.Hoopl
mkFactBase
Compiler.Hoopl
mkFirst
Compiler.Hoopl
mkIfThenElse
Compiler.Hoopl
mkLabel
Compiler.Hoopl
mkLabelNode
Compiler.Hoopl
mkLabelSet
Compiler.Hoopl
mkLast
Compiler.Hoopl
mkMiddle
Compiler.Hoopl
mkMiddles
Compiler.Hoopl
mkWhileDo
Compiler.Hoopl
NewFact
1 (Type/Class)
Compiler.Hoopl
2 (Data Constructor)
Compiler.Hoopl
noBwdRewrite
Compiler.Hoopl
NoChange
Compiler.Hoopl
Node
Compiler.Hoopl
noFacts
Compiler.Hoopl
noFwdRewrite
Compiler.Hoopl
NothingO
Compiler.Hoopl
O
Compiler.Hoopl
OldFact
1 (Type/Class)
Compiler.Hoopl
2 (Data Constructor)
Compiler.Hoopl
reduceLabelSet
Compiler.Hoopl
runWithFuel
Compiler.Hoopl
shallowBwdRw
Compiler.Hoopl
shallowFwdRw
Compiler.Hoopl
SimpleBwdRewrite
Compiler.Hoopl
SimpleFwdRewrite
Compiler.Hoopl
sizeLabelSet
Compiler.Hoopl
SomeChange
Compiler.Hoopl
successors
Compiler.Hoopl
thenBwdRw
Compiler.Hoopl
thenFwdRw
Compiler.Hoopl
unionFactBase
Compiler.Hoopl
unionLabelSet
Compiler.Hoopl
unitFact
Compiler.Hoopl
withFreshLabels
Compiler.Hoopl