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
GraphRep	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
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
runWithFuel	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
Uniques	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