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

Index

<*>Compiler.Hoopl
addBlockCompiler.Hoopl.Internals, Compiler.Hoopl
addBlocksCompiler.Hoopl
addEntrySeqCompiler.Hoopl
addExitSeqCompiler.Hoopl
addPointsCompiler.Hoopl
addPoints'Compiler.Hoopl
addTopCompiler.Hoopl
addTop'Compiler.Hoopl
AGraphCompiler.Hoopl
aGraphOfGraphCompiler.Hoopl
analyzeAndRewriteBwdCompiler.Hoopl.Internals, Compiler.Hoopl
analyzeAndRewriteBwdBodyCompiler.Hoopl
analyzeAndRewriteBwdOxCompiler.Hoopl
analyzeAndRewriteFwdCompiler.Hoopl.Internals, Compiler.Hoopl
analyzeAndRewriteFwdBodyCompiler.Hoopl
analyzeAndRewriteFwdOxCompiler.Hoopl
backBiasBlockCompiler.Hoopl.Internals, Compiler.Hoopl
BCatCompiler.Hoopl.Internals, Compiler.Hoopl
BConsCompiler.Hoopl.Internals, Compiler.Hoopl
BlockCompiler.Hoopl.Internals, Compiler.Hoopl
blockAppendCompiler.Hoopl.Internals, Compiler.Hoopl
BlockCCCompiler.Hoopl.Internals, Compiler.Hoopl
BlockCOCompiler.Hoopl.Internals, Compiler.Hoopl
blockConsCompiler.Hoopl.Internals, Compiler.Hoopl
blockFromListCompiler.Hoopl.Internals, Compiler.Hoopl
blockGraphCompiler.Hoopl.Internals, Compiler.Hoopl
blockJoinCompiler.Hoopl.Internals, Compiler.Hoopl
blockJoinAnyCompiler.Hoopl.Internals, Compiler.Hoopl
blockJoinHeadCompiler.Hoopl.Internals, Compiler.Hoopl
blockJoinTailCompiler.Hoopl.Internals, Compiler.Hoopl
BlockOCCompiler.Hoopl.Internals, Compiler.Hoopl
blockSnocCompiler.Hoopl.Internals, Compiler.Hoopl
blockSplitCompiler.Hoopl.Internals, Compiler.Hoopl
blockSplitAnyCompiler.Hoopl.Internals, Compiler.Hoopl
blockSplitHeadCompiler.Hoopl.Internals, Compiler.Hoopl
blockSplitTailCompiler.Hoopl.Internals, Compiler.Hoopl
blockToListCompiler.Hoopl.Internals, Compiler.Hoopl
BMiddleCompiler.Hoopl.Internals, Compiler.Hoopl
BNilCompiler.Hoopl.Internals, Compiler.Hoopl
BodyCompiler.Hoopl.Internals, Compiler.Hoopl
Body'Compiler.Hoopl.Internals, Compiler.Hoopl
bodyGraphCompiler.Hoopl.Internals, Compiler.Hoopl
bodyListCompiler.Hoopl.Internals, Compiler.Hoopl
bodyUnionCompiler.Hoopl.Internals, Compiler.Hoopl
BotCompiler.Hoopl
bp_latticeCompiler.Hoopl.Internals, Compiler.Hoopl
bp_rewriteCompiler.Hoopl.Internals, Compiler.Hoopl
bp_transferCompiler.Hoopl.Internals, Compiler.Hoopl
BSnocCompiler.Hoopl.Internals, Compiler.Hoopl
BwdPass 
1 (Type/Class)Compiler.Hoopl.Internals, Compiler.Hoopl
2 (Data Constructor)Compiler.Hoopl.Internals, Compiler.Hoopl
BwdRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
BwdRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
BwdTransferCompiler.Hoopl.Internals, Compiler.Hoopl
BwdTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
CCompiler.Hoopl.Internals, Compiler.Hoopl
catGraphNodeOCCompiler.Hoopl.Internals, Compiler.Hoopl
catGraphNodeOOCompiler.Hoopl.Internals, Compiler.Hoopl
catGraphsCompiler.Hoopl
catNodeCOGraphCompiler.Hoopl.Internals, Compiler.Hoopl
catNodeOOGraphCompiler.Hoopl.Internals, Compiler.Hoopl
ChangeFlagCompiler.Hoopl.Internals, Compiler.Hoopl
changeIfCompiler.Hoopl.Internals, Compiler.Hoopl
CheckingFuelMonadCompiler.Hoopl
CheckpointCompiler.Hoopl
checkpointCompiler.Hoopl
CheckpointMonadCompiler.Hoopl
ClosedCompiler.Hoopl.Internals, Compiler.Hoopl
DataflowLattice 
1 (Type/Class)Compiler.Hoopl.Internals, Compiler.Hoopl
2 (Data Constructor)Compiler.Hoopl.Internals, Compiler.Hoopl
debugBwdJoinsCompiler.Hoopl
debugBwdTransfersCompiler.Hoopl
debugFwdJoinsCompiler.Hoopl
debugFwdTransfersCompiler.Hoopl
deepBwdRwCompiler.Hoopl
deepBwdRw3Compiler.Hoopl
deepFwdRwCompiler.Hoopl
deepFwdRw3Compiler.Hoopl
distributeFactCompiler.Hoopl
distributeFactBwdCompiler.Hoopl
distributeXferCompiler.Hoopl
domEntry 
1 (Function)Compiler.Hoopl.Passes.Dominator
2 (Function)Compiler.Hoopl.Passes.DList
DominatesCompiler.Hoopl.Passes.Dominator
DominatorNodeCompiler.Hoopl.Passes.Dominator
DominatorTreeCompiler.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
domPathCompiler.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
ElemOfCompiler.Hoopl
emptyBlockCompiler.Hoopl.Internals, Compiler.Hoopl
emptyBodyCompiler.Hoopl.Internals, Compiler.Hoopl
emptyClosedGraphCompiler.Hoopl
emptyGraphCompiler.Hoopl
endNodesCompiler.Hoopl.Internals, Compiler.Hoopl
EntryCompiler.Hoopl.Passes.Dominator
entryLabelCompiler.Hoopl.Internals, Compiler.Hoopl
extendDomCompiler.Hoopl.Passes.Dominator
extendJoinDomainCompiler.Hoopl
externalEntryLabelsCompiler.Hoopl.Internals, Compiler.Hoopl
FactCompiler.Hoopl.Internals, Compiler.Hoopl
FactBaseCompiler.Hoopl.Internals, Compiler.Hoopl
fact_botCompiler.Hoopl.Internals, Compiler.Hoopl
fact_joinCompiler.Hoopl.Internals, Compiler.Hoopl
fact_nameCompiler.Hoopl.Internals, Compiler.Hoopl
firstNodeCompiler.Hoopl.Internals, Compiler.Hoopl
firstXferCompiler.Hoopl
foldBlockNodesBCompiler.Hoopl.Internals, Compiler.Hoopl
foldBlockNodesB3Compiler.Hoopl.Internals, Compiler.Hoopl
foldBlockNodesFCompiler.Hoopl.Internals, Compiler.Hoopl
foldBlockNodesF3Compiler.Hoopl.Internals, Compiler.Hoopl
foldGraphNodesCompiler.Hoopl.Internals, Compiler.Hoopl
fp_latticeCompiler.Hoopl.Internals, Compiler.Hoopl
fp_rewriteCompiler.Hoopl.Internals, Compiler.Hoopl
fp_transferCompiler.Hoopl.Internals, Compiler.Hoopl
freshLabelCompiler.Hoopl.Internals, Compiler.Hoopl
freshUniqueCompiler.Hoopl
frontBiasBlockCompiler.Hoopl.Internals, Compiler.Hoopl
FuelCompiler.Hoopl
FuelMonadCompiler.Hoopl
FuelMonadTCompiler.Hoopl
fuelRemainingCompiler.Hoopl
FwdPass 
1 (Type/Class)Compiler.Hoopl.Internals, Compiler.Hoopl
2 (Data Constructor)Compiler.Hoopl.Internals, Compiler.Hoopl
FwdRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
FwdRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
FwdTransferCompiler.Hoopl.Internals, Compiler.Hoopl
FwdTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
getBRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
getBTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
getFRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
getFTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
GManyCompiler.Hoopl.Internals, Compiler.Hoopl
GNilCompiler.Hoopl.Internals, Compiler.Hoopl
GraphCompiler.Hoopl.Internals, Compiler.Hoopl
Graph'Compiler.Hoopl.Internals, Compiler.Hoopl
graphOfAGraphCompiler.Hoopl
gSpliceCompiler.Hoopl.Internals
GUnitCompiler.Hoopl.Internals, Compiler.Hoopl
gUnitCCCompiler.Hoopl.Internals, Compiler.Hoopl
gUnitCOCompiler.Hoopl.Internals, Compiler.Hoopl
gUnitOCCompiler.Hoopl.Internals, Compiler.Hoopl
gUnitOOCompiler.Hoopl.Internals, Compiler.Hoopl
HooplNodeCompiler.Hoopl
IfThenElseableCompiler.Hoopl
immediateDominatorsCompiler.Hoopl.Passes.Dominator
IndexedCOCompiler.Hoopl.Internals, Compiler.Hoopl
infiniteFuelCompiler.Hoopl
InfiniteFuelMonadCompiler.Hoopl
intToUniqueCompiler.Hoopl
isEmptyBlockCompiler.Hoopl.Internals, Compiler.Hoopl
IsMapCompiler.Hoopl
IsSetCompiler.Hoopl
iterBwdRwCompiler.Hoopl
iterFwdRwCompiler.Hoopl
joinFactsCompiler.Hoopl
JoinFunCompiler.Hoopl.Internals, Compiler.Hoopl
joinMapsCompiler.Hoopl
joinOutFactsCompiler.Hoopl
JustCCompiler.Hoopl.Internals, Compiler.Hoopl
JustOCompiler.Hoopl.Internals, Compiler.Hoopl
KeyOfCompiler.Hoopl
LabelCompiler.Hoopl.Internals, Compiler.Hoopl
LabelledCompiler.Hoopl.Passes.Dominator
LabelMapCompiler.Hoopl.Internals, Compiler.Hoopl
labelsDefinedCompiler.Hoopl.Internals, Compiler.Hoopl
LabelSetCompiler.Hoopl.Internals, Compiler.Hoopl
LabelsPtrCompiler.Hoopl.Internals, Compiler.Hoopl
labelsUsedCompiler.Hoopl.Internals, Compiler.Hoopl
lastNodeCompiler.Hoopl.Internals, Compiler.Hoopl
lblToUniqueCompiler.Hoopl.Internals
liftFuelCompiler.Hoopl
liftJoinTopCompiler.Hoopl
lookupFactCompiler.Hoopl.Internals, Compiler.Hoopl
mapBlockCompiler.Hoopl.Internals, Compiler.Hoopl
mapBlock'Compiler.Hoopl.Internals, Compiler.Hoopl
mapBlock3'Compiler.Hoopl.Internals, Compiler.Hoopl
mapDeleteCompiler.Hoopl
mapDeleteListCompiler.Hoopl
mapDifferenceCompiler.Hoopl
mapElemsCompiler.Hoopl
mapEmptyCompiler.Hoopl
mapFilterCompiler.Hoopl
mapFindWithDefaultCompiler.Hoopl
mapFoldCompiler.Hoopl
mapFoldWithKeyCompiler.Hoopl
mapFromListCompiler.Hoopl
mapFromListWithCompiler.Hoopl
mapGraphCompiler.Hoopl.Internals, Compiler.Hoopl
mapGraphBlocksCompiler.Hoopl.Internals, Compiler.Hoopl
mapInsertCompiler.Hoopl
mapInsertListCompiler.Hoopl
mapInsertWithCompiler.Hoopl
mapIntersectionCompiler.Hoopl
mapIsSubmapOfCompiler.Hoopl
mapKeysCompiler.Hoopl
mapLookupCompiler.Hoopl
mapMapCompiler.Hoopl
mapMapWithKeyCompiler.Hoopl
mapMemberCompiler.Hoopl
mapNullCompiler.Hoopl
mapSingletonCompiler.Hoopl
mapSizeCompiler.Hoopl
mapToListCompiler.Hoopl
mapUnionCompiler.Hoopl
mapUnionsCompiler.Hoopl
mapUnionWithKeyCompiler.Hoopl
MaybeCCompiler.Hoopl.Internals, Compiler.Hoopl
MaybeOCompiler.Hoopl.Internals, Compiler.Hoopl
mkBranchCompiler.Hoopl
mkBranchNodeCompiler.Hoopl
mkBRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
mkBRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
mkBTransferCompiler.Hoopl.Internals, Compiler.Hoopl
mkBTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
mkEntryCompiler.Hoopl
mkExitCompiler.Hoopl
mkFactBaseCompiler.Hoopl.Internals, Compiler.Hoopl
mkFirstCompiler.Hoopl
mkFRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
mkFRewrite3Compiler.Hoopl.Internals, Compiler.Hoopl
mkFTransferCompiler.Hoopl.Internals, Compiler.Hoopl
mkFTransfer3Compiler.Hoopl.Internals, Compiler.Hoopl
mkIfThenElseCompiler.Hoopl
mkLabelCompiler.Hoopl
mkLabelNodeCompiler.Hoopl
mkLastCompiler.Hoopl
mkMiddleCompiler.Hoopl
mkMiddlesCompiler.Hoopl
mkWhileDoCompiler.Hoopl
NewFact 
1 (Type/Class)Compiler.Hoopl.Internals, Compiler.Hoopl
2 (Data Constructor)Compiler.Hoopl.Internals, Compiler.Hoopl
noBwdRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
NoChangeCompiler.Hoopl.Internals, Compiler.Hoopl
noFactsCompiler.Hoopl.Internals, Compiler.Hoopl
noFwdRewriteCompiler.Hoopl.Internals, Compiler.Hoopl
NonLocalCompiler.Hoopl.Internals, Compiler.Hoopl
NothingCCompiler.Hoopl.Internals, Compiler.Hoopl
NothingOCompiler.Hoopl.Internals, Compiler.Hoopl
OCompiler.Hoopl.Internals, Compiler.Hoopl
OldFact 
1 (Type/Class)Compiler.Hoopl.Internals, Compiler.Hoopl
2 (Data Constructor)Compiler.Hoopl.Internals, Compiler.Hoopl
OpenCompiler.Hoopl.Internals, Compiler.Hoopl
pairBwdCompiler.Hoopl
pairFwdCompiler.Hoopl
pairLatticeCompiler.Hoopl
PElemCompiler.Hoopl
PointedCompiler.Hoopl
postorder_dfsCompiler.Hoopl.Internals, Compiler.Hoopl
postorder_dfs_fromCompiler.Hoopl.Internals, Compiler.Hoopl
postorder_dfs_from_exceptCompiler.Hoopl.Internals, Compiler.Hoopl
preorder_dfsCompiler.Hoopl.Internals, Compiler.Hoopl
preorder_dfs_from_exceptCompiler.Hoopl.Internals, Compiler.Hoopl
replaceFirstNodeCompiler.Hoopl.Internals, Compiler.Hoopl
replaceLastNodeCompiler.Hoopl.Internals, Compiler.Hoopl
restartCompiler.Hoopl
runSimpleUniqueMonadCompiler.Hoopl
runUniqueMonadTCompiler.Hoopl
setDeleteCompiler.Hoopl
setDeleteListCompiler.Hoopl
setDifferenceCompiler.Hoopl
setElemsCompiler.Hoopl
setEmptyCompiler.Hoopl
setFoldCompiler.Hoopl
setFromListCompiler.Hoopl
setInsertCompiler.Hoopl
setInsertListCompiler.Hoopl
setIntersectionCompiler.Hoopl
setIsSubsetOfCompiler.Hoopl
setMemberCompiler.Hoopl
setNullCompiler.Hoopl
setSingletonCompiler.Hoopl
setSizeCompiler.Hoopl
setUnionCompiler.Hoopl
setUnionsCompiler.Hoopl
ShapeCompiler.Hoopl.Internals, Compiler.Hoopl
showFactBaseCompiler.Hoopl
showGraphCompiler.Hoopl
SimpleFuelMonadCompiler.Hoopl
SimpleUniqueMonadCompiler.Hoopl
SomeChangeCompiler.Hoopl.Internals, Compiler.Hoopl
spliceCompiler.Hoopl.Internals
successorFactsCompiler.Hoopl
successorsCompiler.Hoopl.Internals, Compiler.Hoopl
targetLabelsCompiler.Hoopl.Internals, Compiler.Hoopl
thenBwdRwCompiler.Hoopl
thenFwdRwCompiler.Hoopl
TopCompiler.Hoopl
TraceFnCompiler.Hoopl
treeCompiler.Hoopl.Passes.Dominator
unionBlocksCompiler.Hoopl
UniqueCompiler.Hoopl
UniqueMapCompiler.Hoopl
UniqueMonadCompiler.Hoopl
UniqueMonadTCompiler.Hoopl
UniqueSetCompiler.Hoopl
uniqueToLblCompiler.Hoopl.Internals
WithBotCompiler.Hoopl
withFreshCompiler.Hoopl
WithTopCompiler.Hoopl
WithTopAndBotCompiler.Hoopl
wrapBRCompiler.Hoopl.Wrappers, Compiler.Hoopl.Internals
wrapBR2Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals
wrapFRCompiler.Hoopl.Wrappers, Compiler.Hoopl.Internals
wrapFR2Compiler.Hoopl.Wrappers, Compiler.Hoopl.Internals
|*><*|Compiler.Hoopl