hoopl-3.10.0.1: A library to support dataflow analysis and optimization

Index

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