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

Index

<*> | Compiler.Hoopl
addBlock | 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
analyzeAndRewriteBwdBody | Compiler.Hoopl
analyzeAndRewriteBwdOx | Compiler.Hoopl
analyzeAndRewriteFwd | Compiler.Hoopl
analyzeAndRewriteFwdBody | Compiler.Hoopl
analyzeAndRewriteFwdOx | Compiler.Hoopl
BFirst | Compiler.Hoopl
BLast | Compiler.Hoopl
Block | Compiler.Hoopl
blockGraph | Compiler.Hoopl
blockMapNodes | Compiler.Hoopl
blockMapNodes3 | Compiler.Hoopl
blockOfNodeList | Compiler.Hoopl
BlockResult | Compiler.Hoopl
blockToNodeList | Compiler.Hoopl
blockToNodeList' | Compiler.Hoopl
blockToNodeList'' | Compiler.Hoopl
blockToNodeList''' | Compiler.Hoopl
BMiddle | Compiler.Hoopl
Body | Compiler.Hoopl
Body' | Compiler.Hoopl
BodyBlock | Compiler.Hoopl
bodyList | Compiler.Hoopl
bodyOfBlockMap | Compiler.Hoopl.GHC
bodyToBlockMap | Compiler.Hoopl.GHC
Bot | Compiler.Hoopl
bp_lattice | Compiler.Hoopl
bp_rewrite | Compiler.Hoopl
bp_transfer | Compiler.Hoopl
BwdPass |
1 (Type/Class) | Compiler.Hoopl
2 (Data Constructor) | Compiler.Hoopl
BwdRewrite | Compiler.Hoopl
BwdTransfer | Compiler.Hoopl
C | Compiler.Hoopl
catGraphNodeOC | Compiler.Hoopl
catGraphNodeOO | Compiler.Hoopl
catGraphs | Compiler.Hoopl
catNodeCOGraph | Compiler.Hoopl
catNodeOOGraph | Compiler.Hoopl
ChangeFlag | Compiler.Hoopl
changeIf | Compiler.Hoopl
CheckingFuelMonad | Compiler.Hoopl
Checkpoint | Compiler.Hoopl
checkpoint | Compiler.Hoopl
CheckpointMonad | Compiler.Hoopl
Closed | Compiler.Hoopl
DataflowLattice |
1 (Type/Class) | Compiler.Hoopl
2 (Data Constructor) | 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
emptyBody | Compiler.Hoopl
emptyClosedGraph | Compiler.Hoopl
emptyGraph | Compiler.Hoopl
Entry | Compiler.Hoopl.Passes.Dominator
entryLabel | Compiler.Hoopl
ExitBlock | Compiler.Hoopl
extendDom | Compiler.Hoopl.Passes.Dominator
extendJoinDomain | Compiler.Hoopl
externalEntryLabels | Compiler.Hoopl
Fact | Compiler.Hoopl
FactBase | Compiler.Hoopl
fact_bot | Compiler.Hoopl
fact_join | Compiler.Hoopl
fact_name | Compiler.Hoopl
fbnf3 | Compiler.Hoopl
firstXfer | Compiler.Hoopl
foldBlockNodesB | Compiler.Hoopl
foldBlockNodesB3 | Compiler.Hoopl
foldBlockNodesF | Compiler.Hoopl
foldBlockNodesF3 | Compiler.Hoopl
foldGraphNodes | Compiler.Hoopl
fp_lattice | Compiler.Hoopl
fp_rewrite | Compiler.Hoopl
fp_transfer | Compiler.Hoopl
freshLabel | Compiler.Hoopl
freshUnique | Compiler.Hoopl
Fuel | Compiler.Hoopl
FuelMonad | Compiler.Hoopl
FuelMonadT | Compiler.Hoopl
fuelRemaining | Compiler.Hoopl
FwdPass |
1 (Type/Class) | Compiler.Hoopl
2 (Data Constructor) | Compiler.Hoopl
FwdRewrite | Compiler.Hoopl
FwdTransfer | Compiler.Hoopl
getBRewrite3 | Compiler.Hoopl
getBTransfer3 | Compiler.Hoopl
getFRewrite3 | Compiler.Hoopl
getFTransfer3 | Compiler.Hoopl
getFuel | Compiler.Hoopl.GHC
GMany | Compiler.Hoopl
GNil | Compiler.Hoopl
Graph | Compiler.Hoopl
Graph' | Compiler.Hoopl
graphMapBlocks | Compiler.Hoopl
graphOfAGraph | Compiler.Hoopl
GUnit | Compiler.Hoopl
gUnitCC | Compiler.Hoopl
gUnitCO | Compiler.Hoopl
gUnitOC | Compiler.Hoopl
gUnitOO | Compiler.Hoopl
HooplNode | Compiler.Hoopl
IfThenElseable | Compiler.Hoopl
immediateDominators | Compiler.Hoopl.Passes.Dominator
IndexedCO | Compiler.Hoopl
infiniteFuel | Compiler.Hoopl
InfiniteFuelMonad | Compiler.Hoopl
intToUnique | Compiler.Hoopl
IsMap | Compiler.Hoopl
IsSet | Compiler.Hoopl
iterBwdRw | Compiler.Hoopl
iterFwdRw | Compiler.Hoopl
joinFacts | Compiler.Hoopl
JoinFun | Compiler.Hoopl
joinMaps | Compiler.Hoopl
joinOutFacts | Compiler.Hoopl
JustC | Compiler.Hoopl
JustO | Compiler.Hoopl
KeyOf | Compiler.Hoopl
Label | Compiler.Hoopl
Labelled | Compiler.Hoopl.Passes.Dominator
LabelMap | Compiler.Hoopl
labelsDefined | Compiler.Hoopl
LabelSet | Compiler.Hoopl
LabelsPtr | Compiler.Hoopl
labelsUsed | Compiler.Hoopl
lblToUnique | Compiler.Hoopl.GHC
liftFuel | Compiler.Hoopl
liftJoinTop | Compiler.Hoopl
lookupBlock | Compiler.Hoopl
lookupFact | Compiler.Hoopl
mapBlock | 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
mapGraph | Compiler.Hoopl
mapInsert | Compiler.Hoopl
mapInsertList | Compiler.Hoopl
mapIntersection | Compiler.Hoopl
mapIsSubmapOf | Compiler.Hoopl
mapKeys | Compiler.Hoopl
mapLookup | Compiler.Hoopl
mapMap | Compiler.Hoopl
mapMapWithKey | Compiler.Hoopl
mapMaybeC | Compiler.Hoopl
mapMaybeO | 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
MaybeO | Compiler.Hoopl
mkBranch | Compiler.Hoopl
mkBranchNode | Compiler.Hoopl
mkBRewrite | Compiler.Hoopl
mkBRewrite3 | Compiler.Hoopl
mkBTransfer | Compiler.Hoopl
mkBTransfer3 | Compiler.Hoopl
mkEntry | Compiler.Hoopl
mkExit | Compiler.Hoopl
mkFactBase | Compiler.Hoopl
mkFirst | Compiler.Hoopl
mkFRewrite | Compiler.Hoopl
mkFRewrite3 | Compiler.Hoopl
mkFTransfer | Compiler.Hoopl
mkFTransfer3 | 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
2 (Data Constructor) | Compiler.Hoopl
NoBlock | Compiler.Hoopl
noBwdRewrite | Compiler.Hoopl
NoChange | Compiler.Hoopl
noEntries | Compiler.Hoopl
noFacts | Compiler.Hoopl
noFwdRewrite | Compiler.Hoopl
NonLocal | Compiler.Hoopl
NothingC | Compiler.Hoopl
NothingO | Compiler.Hoopl
O | Compiler.Hoopl
OldFact |
1 (Type/Class) | Compiler.Hoopl
2 (Data Constructor) | Compiler.Hoopl
Open | Compiler.Hoopl
pairBwd | Compiler.Hoopl
pairFwd | Compiler.Hoopl
pairLattice | Compiler.Hoopl
PElem | Compiler.Hoopl
Pointed | Compiler.Hoopl
postorder_dfs | Compiler.Hoopl
postorder_dfs_from | Compiler.Hoopl
postorder_dfs_from_except | Compiler.Hoopl
preorder_dfs | Compiler.Hoopl
preorder_dfs_from_except | Compiler.Hoopl
restart | Compiler.Hoopl
runSimpleUniqueMonad | Compiler.Hoopl
runUniqueMonadT | Compiler.Hoopl
ScottBlock |
1 (Type/Class) | Compiler.Hoopl
2 (Data Constructor) | Compiler.Hoopl
scottFoldBlock | Compiler.Hoopl
setDelete | Compiler.Hoopl
setDeleteList | Compiler.Hoopl
setDifference | Compiler.Hoopl
setElems | Compiler.Hoopl
setEmpty | Compiler.Hoopl
setFold | Compiler.Hoopl
setFromList | Compiler.Hoopl
setFuel | Compiler.Hoopl.GHC
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
showFactBase | Compiler.Hoopl
showGraph | Compiler.Hoopl
SimpleFuelMonad | Compiler.Hoopl
SimpleUniqueMonad | Compiler.Hoopl
SomeChange | Compiler.Hoopl
successorFacts | Compiler.Hoopl
successors | Compiler.Hoopl
targetLabels | Compiler.Hoopl
tfFoldBlock | 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
uniqueToInt | Compiler.Hoopl.GHC
uniqueToLbl | Compiler.Hoopl.GHC
WithBot | Compiler.Hoopl
withFresh | Compiler.Hoopl
WithTop | Compiler.Hoopl
WithTopAndBot | Compiler.Hoopl
wrapBR | Compiler.Hoopl.Wrappers
wrapBR2 | Compiler.Hoopl.Wrappers
wrapFR | Compiler.Hoopl.Wrappers
wrapFR2 | Compiler.Hoopl.Wrappers
|*><*| | Compiler.Hoopl