Index
| <*> | 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 |
| 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 |
| 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 |
| 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 |