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