<*> | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
addBlock | Compiler.Hoopl.Graph, Compiler.Hoopl |
addEntrySeq | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
addExitSeq | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
AGraph | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
allLabels | Compiler.Hoopl.Label |
analyzeAndRewriteBwd | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
analyzeAndRewriteFwd | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
BCat | Compiler.Hoopl.Graph, Compiler.Hoopl |
Block | Compiler.Hoopl.Graph, Compiler.Hoopl |
Body | Compiler.Hoopl.Graph, Compiler.Hoopl |
BodyCat | Compiler.Hoopl.Graph, Compiler.Hoopl |
BodyEmpty | Compiler.Hoopl.Graph, Compiler.Hoopl |
bodyList | Compiler.Hoopl.Graph, Compiler.Hoopl |
BodyUnit | Compiler.Hoopl.Graph, Compiler.Hoopl |
bp_lattice | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
bp_rewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
bp_transfer | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
BUnit | Compiler.Hoopl.Graph, Compiler.Hoopl |
BwdPass | |
1 (Type/Class) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
2 (Data Constructor) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
BwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
BwdTransfer | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
C | Compiler.Hoopl.Graph, Compiler.Hoopl |
catAGraphs | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
ChangeFlag | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
changeIf | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
DataflowLattice | |
1 (Type/Class) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
2 (Data Constructor) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
deepBwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
deepFwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
delFromFactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
Edges | Compiler.Hoopl.Graph, Compiler.Hoopl |
elemFactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
elemLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
emptyAGraph | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
emptyLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
entryLabel | Compiler.Hoopl.Graph, Compiler.Hoopl |
extendFactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
extendLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
Fact | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
FactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
factBaseLabels | Compiler.Hoopl.Label, Compiler.Hoopl |
factBaseList | Compiler.Hoopl.Label, Compiler.Hoopl |
fact_bot | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fact_do_logging | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fact_extend | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fact_name | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fp_lattice | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fp_rewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
fp_transfer | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
freshLabel | Compiler.Hoopl.Fuel, Compiler.Hoopl |
Fuel | Compiler.Hoopl.Fuel, Compiler.Hoopl |
FuelMonad | Compiler.Hoopl.Fuel, Compiler.Hoopl |
FwdPass | |
1 (Type/Class) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
2 (Data Constructor) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
FwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
FwdTransfer | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
getFuel | Compiler.Hoopl.Fuel |
GMany | Compiler.Hoopl.Graph, Compiler.Hoopl |
GNil | Compiler.Hoopl.Graph, Compiler.Hoopl |
Graph | Compiler.Hoopl.Graph, Compiler.Hoopl |
GUnit | Compiler.Hoopl.Graph, Compiler.Hoopl |
IfThenElseable | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
interLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
JoinFun | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
JustO | Compiler.Hoopl.Graph, Compiler.Hoopl |
Label | Compiler.Hoopl.Label, Compiler.Hoopl |
LabelMap | Compiler.Hoopl.Label, Compiler.Hoopl |
LabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
labelSetElems | Compiler.Hoopl.Label, Compiler.Hoopl |
lookupFact | Compiler.Hoopl.Label, Compiler.Hoopl |
MaybeO | Compiler.Hoopl.Graph, Compiler.Hoopl |
minusLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
mkBranch | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkBranchNode | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkEntry | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkFactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
mkFirst | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkIfThenElse | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkLabel | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkLabelNode | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
mkLast | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkMiddle | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkMiddles | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
mkWhileDo | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
NewFact | |
1 (Type/Class) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
2 (Data Constructor) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
noBwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
NoChange | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
Node | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
noFacts | Compiler.Hoopl.Label, Compiler.Hoopl |
noFwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
NothingO | Compiler.Hoopl.Graph, Compiler.Hoopl |
O | Compiler.Hoopl.Graph, Compiler.Hoopl |
OldFact | |
1 (Type/Class) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
2 (Data Constructor) | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
reduceLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
runWithFuel | Compiler.Hoopl.Fuel, Compiler.Hoopl |
setFuel | Compiler.Hoopl.Fuel |
shallowBwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
shallowFwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
SimpleBwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
SimpleFwdRewrite | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
sizeLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
SomeChange | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
successors | Compiler.Hoopl.Graph, Compiler.Hoopl |
thenBwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
thenFwdRw | Compiler.Hoopl.Dataflow, Compiler.Hoopl |
unionFactBase | Compiler.Hoopl.Label, Compiler.Hoopl |
unionLabelSet | Compiler.Hoopl.Label, Compiler.Hoopl |
unitFact | Compiler.Hoopl.Label, Compiler.Hoopl |
withFreshLabels | Compiler.Hoopl.MkGraph, Compiler.Hoopl |
withFuel | Compiler.Hoopl.Fuel |