| <*> | Compiler.Hoopl | 
| addBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| addBlocks | Compiler.Hoopl | 
| addEntrySeq | Compiler.Hoopl | 
| addExitSeq | Compiler.Hoopl | 
| addPoints | Compiler.Hoopl | 
| addPoints' | Compiler.Hoopl | 
| addTop | Compiler.Hoopl | 
| addTop' | Compiler.Hoopl | 
| AGraph | Compiler.Hoopl | 
| aGraphOfGraph | Compiler.Hoopl | 
| analyzeAndRewriteBwd | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| analyzeAndRewriteBwdBody | Compiler.Hoopl | 
| analyzeAndRewriteBwdOx | Compiler.Hoopl | 
| analyzeAndRewriteFwd | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| analyzeAndRewriteFwdBody | Compiler.Hoopl | 
| analyzeAndRewriteFwdOx | Compiler.Hoopl | 
| backBiasBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BCat | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BCons | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Block | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockAppend | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BlockCC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BlockCO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockCons | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockFromList | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockGraph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockJoin | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockJoinAny | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockJoinHead | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockJoinTail | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BlockOC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockSnoc | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockSplit | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockSplitAny | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockSplitHead | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockSplitTail | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| blockToList | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BMiddle | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BNil | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Body | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Body' | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| bodyGraph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| bodyList | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| bodyUnion | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Bot | Compiler.Hoopl | 
| bp_lattice | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| bp_rewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| bp_transfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BSnoc | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BwdPass |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BwdRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BwdRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BwdTransfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| BwdTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| C | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| catGraphNodeOC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| catGraphNodeOO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| catGraphs | Compiler.Hoopl | 
| catNodeCOGraph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| catNodeOOGraph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| ChangeFlag | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| changeIf | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| CheckingFuelMonad | Compiler.Hoopl | 
| Checkpoint | Compiler.Hoopl | 
| checkpoint | Compiler.Hoopl | 
| CheckpointMonad | Compiler.Hoopl | 
| Closed | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| DataflowLattice |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| debugBwdJoins | Compiler.Hoopl | 
| debugBwdTransfers | Compiler.Hoopl | 
| debugFwdJoins | Compiler.Hoopl | 
| debugFwdTransfers | Compiler.Hoopl | 
| deepBwdRw | Compiler.Hoopl | 
| deepBwdRw3 | Compiler.Hoopl | 
| deepFwdRw | Compiler.Hoopl | 
| deepFwdRw3 | Compiler.Hoopl | 
| distributeFact | Compiler.Hoopl | 
| distributeFactBwd | Compiler.Hoopl | 
| distributeXfer | Compiler.Hoopl | 
| domEntry |  | 
| 1 (Function) | Compiler.Hoopl.Passes.Dominator | 
| 2 (Function) | Compiler.Hoopl.Passes.DList | 
| Dominates | Compiler.Hoopl.Passes.Dominator | 
| DominatorNode | Compiler.Hoopl.Passes.Dominator | 
| DominatorTree | Compiler.Hoopl.Passes.Dominator | 
| domLattice |  | 
| 1 (Function) | Compiler.Hoopl.Passes.Dominator | 
| 2 (Function) | Compiler.Hoopl.Passes.DList | 
| domPass |  | 
| 1 (Function) | Compiler.Hoopl.Passes.Dominator | 
| 2 (Function) | Compiler.Hoopl.Passes.DList | 
| domPath | Compiler.Hoopl.Passes.Dominator | 
| Doms |  | 
| 1 (Type/Class) | Compiler.Hoopl.Passes.Dominator | 
| 2 (Type/Class) | Compiler.Hoopl.Passes.DList | 
| DPath |  | 
| 1 (Type/Class) | Compiler.Hoopl.Passes.Dominator | 
| 2 (Data Constructor) | Compiler.Hoopl.Passes.Dominator | 
| ElemOf | Compiler.Hoopl | 
| emptyBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| emptyBody | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| emptyClosedGraph | Compiler.Hoopl | 
| emptyGraph | Compiler.Hoopl | 
| endNodes | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Entry | Compiler.Hoopl.Passes.Dominator | 
| entryLabel | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| extendDom | Compiler.Hoopl.Passes.Dominator | 
| extendJoinDomain | Compiler.Hoopl | 
| externalEntryLabels | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Fact | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FactBase | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_bot | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_join | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fact_name | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| firstNode | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| firstXfer | Compiler.Hoopl | 
| foldBlockNodesB | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesB3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesF | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldBlockNodesF3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| foldGraphNodes | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_lattice | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_rewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| fp_transfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| freshLabel | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| freshUnique | Compiler.Hoopl | 
| frontBiasBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Fuel | Compiler.Hoopl | 
| FuelMonad | Compiler.Hoopl | 
| FuelMonadT | Compiler.Hoopl | 
| fuelRemaining | Compiler.Hoopl | 
| FwdPass |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdTransfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| FwdTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| getBRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| getBTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| getFRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| getFTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| GMany | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| GNil | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Graph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Graph' | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| graphOfAGraph | Compiler.Hoopl | 
| gSplice | Compiler.Hoopl.Internals | 
| GUnit | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| gUnitCC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| gUnitCO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| gUnitOC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| gUnitOO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| HooplNode | Compiler.Hoopl | 
| IfThenElseable | Compiler.Hoopl | 
| immediateDominators | Compiler.Hoopl.Passes.Dominator | 
| IndexedCO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| infiniteFuel | Compiler.Hoopl | 
| InfiniteFuelMonad | Compiler.Hoopl | 
| intToUnique | Compiler.Hoopl | 
| isEmptyBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| IsMap | Compiler.Hoopl | 
| IsSet | Compiler.Hoopl | 
| iterBwdRw | Compiler.Hoopl | 
| iterFwdRw | Compiler.Hoopl | 
| joinFacts | Compiler.Hoopl | 
| JoinFun | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| joinMaps | Compiler.Hoopl | 
| joinOutFacts | Compiler.Hoopl | 
| JustC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| JustO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| KeyOf | Compiler.Hoopl | 
| Label | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Labelled | Compiler.Hoopl.Passes.Dominator | 
| LabelMap | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| labelsDefined | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| LabelSet | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| LabelsPtr | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| labelsUsed | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| lastNode | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| lblToUnique | Compiler.Hoopl.Internals | 
| liftFuel | Compiler.Hoopl | 
| liftJoinTop | Compiler.Hoopl | 
| lookupFact | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapBlock | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapBlock' | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapBlock3' | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapDelete | Compiler.Hoopl | 
| mapDeleteList | Compiler.Hoopl | 
| mapDifference | Compiler.Hoopl | 
| mapElems | Compiler.Hoopl | 
| mapEmpty | Compiler.Hoopl | 
| mapFindWithDefault | Compiler.Hoopl | 
| mapFold | Compiler.Hoopl | 
| mapFoldWithKey | Compiler.Hoopl | 
| mapFromList | Compiler.Hoopl | 
| mapFromListWith | Compiler.Hoopl | 
| mapGraph | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapGraphBlocks | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mapInsert | Compiler.Hoopl | 
| mapInsertList | Compiler.Hoopl | 
| mapInsertWith | Compiler.Hoopl | 
| mapIntersection | Compiler.Hoopl | 
| mapIsSubmapOf | Compiler.Hoopl | 
| mapKeys | Compiler.Hoopl | 
| mapLookup | Compiler.Hoopl | 
| mapMap | Compiler.Hoopl | 
| mapMapWithKey | Compiler.Hoopl | 
| mapMember | Compiler.Hoopl | 
| mapNull | Compiler.Hoopl | 
| mapSingleton | Compiler.Hoopl | 
| mapSize | Compiler.Hoopl | 
| mapToList | Compiler.Hoopl | 
| mapUnion | Compiler.Hoopl | 
| mapUnions | Compiler.Hoopl | 
| mapUnionWithKey | Compiler.Hoopl | 
| MaybeC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| MaybeO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkBranch | Compiler.Hoopl | 
| mkBranchNode | Compiler.Hoopl | 
| mkBRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkBRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkBTransfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkBTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkEntry | Compiler.Hoopl | 
| mkExit | Compiler.Hoopl | 
| mkFactBase | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkFirst | Compiler.Hoopl | 
| mkFRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkFRewrite3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkFTransfer | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkFTransfer3 | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| mkIfThenElse | Compiler.Hoopl | 
| mkLabel | Compiler.Hoopl | 
| mkLabelNode | Compiler.Hoopl | 
| mkLast | Compiler.Hoopl | 
| mkMiddle | Compiler.Hoopl | 
| mkMiddles | Compiler.Hoopl | 
| mkWhileDo | Compiler.Hoopl | 
| NewFact |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| noBwdRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| NoChange | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| noFacts | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| noFwdRewrite | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| NonLocal | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| NothingC | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| NothingO | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| O | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| OldFact |  | 
| 1 (Type/Class) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| 2 (Data Constructor) | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| Open | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| pairBwd | Compiler.Hoopl | 
| pairFwd | Compiler.Hoopl | 
| pairLattice | Compiler.Hoopl | 
| PElem | Compiler.Hoopl | 
| Pointed | Compiler.Hoopl | 
| postorder_dfs | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| postorder_dfs_from | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| postorder_dfs_from_except | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| preorder_dfs | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| preorder_dfs_from_except | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| replaceFirstNode | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| replaceLastNode | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| restart | Compiler.Hoopl | 
| runSimpleUniqueMonad | Compiler.Hoopl | 
| runUniqueMonadT | Compiler.Hoopl | 
| setDelete | Compiler.Hoopl | 
| setDeleteList | Compiler.Hoopl | 
| setDifference | Compiler.Hoopl | 
| setElems | Compiler.Hoopl | 
| setEmpty | Compiler.Hoopl | 
| setFold | Compiler.Hoopl | 
| setFromList | Compiler.Hoopl | 
| setInsert | Compiler.Hoopl | 
| setInsertList | Compiler.Hoopl | 
| setIntersection | Compiler.Hoopl | 
| setIsSubsetOf | Compiler.Hoopl | 
| setMember | Compiler.Hoopl | 
| setNull | Compiler.Hoopl | 
| setSingleton | Compiler.Hoopl | 
| setSize | Compiler.Hoopl | 
| setUnion | Compiler.Hoopl | 
| setUnions | Compiler.Hoopl | 
| Shape | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| showFactBase | Compiler.Hoopl | 
| showGraph | Compiler.Hoopl | 
| SimpleFuelMonad | Compiler.Hoopl | 
| SimpleUniqueMonad | Compiler.Hoopl | 
| SomeChange | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| splice | Compiler.Hoopl.Internals | 
| successorFacts | Compiler.Hoopl | 
| successors | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| targetLabels | Compiler.Hoopl.Internals, Compiler.Hoopl | 
| thenBwdRw | Compiler.Hoopl | 
| thenFwdRw | Compiler.Hoopl | 
| Top | Compiler.Hoopl | 
| TraceFn | Compiler.Hoopl | 
| tree | Compiler.Hoopl.Passes.Dominator | 
| unionBlocks | Compiler.Hoopl | 
| Unique | Compiler.Hoopl | 
| UniqueMap | Compiler.Hoopl | 
| UniqueMonad | Compiler.Hoopl | 
| UniqueMonadT | Compiler.Hoopl | 
| UniqueSet | Compiler.Hoopl | 
| uniqueToLbl | Compiler.Hoopl.Internals | 
| WithBot | Compiler.Hoopl | 
| withFresh | Compiler.Hoopl | 
| WithTop | Compiler.Hoopl | 
| WithTopAndBot | Compiler.Hoopl | 
| wrapBR | Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals | 
| wrapBR2 | Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals | 
| wrapFR | Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals | 
| wrapFR2 | Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals | 
| |*><*| | Compiler.Hoopl |