hoopl-3.7.8.0: A library to support dataflow analysis and optimization (Index)

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

Index

<*>	Compiler.Hoopl
addBlock	Compiler.Hoopl
addBlocks	Compiler.Hoopl
addEntrySeq	Compiler.Hoopl
addExitSeq	Compiler.Hoopl
AGraph	Compiler.Hoopl
analyzeAndRewriteBwd	Compiler.Hoopl
analyzeAndRewriteFwd	Compiler.Hoopl
BCat	Compiler.Hoopl
Block	Compiler.Hoopl
Body	Compiler.Hoopl
bodyList	Compiler.Hoopl
bodyMap	Compiler.Hoopl
bp_lattice	Compiler.Hoopl
bp_rewrite	Compiler.Hoopl
bp_transfer	Compiler.Hoopl
BUnit	Compiler.Hoopl
BwdPass
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
BwdRes
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
BwdRewrite	Compiler.Hoopl
BwdTransfer	Compiler.Hoopl
C	Compiler.Hoopl
catAGraphs	Compiler.Hoopl
ChangeFlag	Compiler.Hoopl
changeIf	Compiler.Hoopl
DataflowLattice
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
deepBwdRw	Compiler.Hoopl
deepFwdRw	Compiler.Hoopl
delFromFactBase	Compiler.Hoopl
Edges	Compiler.Hoopl
elemFactBase	Compiler.Hoopl
elemLabelSet	Compiler.Hoopl
emptyAGraph	Compiler.Hoopl
emptyClosedAGraph	Compiler.Hoopl
emptyLabelSet	Compiler.Hoopl
entryLabel	Compiler.Hoopl
extendFactBase	Compiler.Hoopl
extendLabelSet	Compiler.Hoopl
Fact	Compiler.Hoopl
FactBase	Compiler.Hoopl
factBaseLabels	Compiler.Hoopl
factBaseList	Compiler.Hoopl
fact_bot	Compiler.Hoopl
fact_do_logging	Compiler.Hoopl
fact_extend	Compiler.Hoopl
fact_name	Compiler.Hoopl
fp_lattice	Compiler.Hoopl
fp_rewrite	Compiler.Hoopl
fp_transfer	Compiler.Hoopl
freshLabel	Compiler.Hoopl
Fuel	Compiler.Hoopl
FuelMonad	Compiler.Hoopl
FwdPass
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
FwdRes
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
FwdRewrite	Compiler.Hoopl
FwdTransfer	Compiler.Hoopl
GMany	Compiler.Hoopl
GNil	Compiler.Hoopl
Graph	Compiler.Hoopl
GUnit	Compiler.Hoopl
HooplNode	Compiler.Hoopl
IfThenElseable	Compiler.Hoopl
interLabelSet	Compiler.Hoopl
iterBwdRw	Compiler.Hoopl
iterFwdRw	Compiler.Hoopl
JoinFun	Compiler.Hoopl
JustO	Compiler.Hoopl
Label	Compiler.Hoopl
LabelMap	Compiler.Hoopl
LabelSet	Compiler.Hoopl
labelSetElems	Compiler.Hoopl
lookupFact	Compiler.Hoopl
MaybeO	Compiler.Hoopl
minusLabelSet	Compiler.Hoopl
mkBranch	Compiler.Hoopl
mkBranchNode	Compiler.Hoopl
mkEntry	Compiler.Hoopl
mkExit	Compiler.Hoopl
mkFactBase	Compiler.Hoopl
mkFirst	Compiler.Hoopl
mkIfThenElse	Compiler.Hoopl
mkLabel	Compiler.Hoopl
mkLabelNode	Compiler.Hoopl
mkLabelSet	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
noBwdRewrite	Compiler.Hoopl
NoChange	Compiler.Hoopl
noFacts	Compiler.Hoopl
noFwdRewrite	Compiler.Hoopl
NothingO	Compiler.Hoopl
O	Compiler.Hoopl
OldFact
1 (Type/Class)	Compiler.Hoopl
2 (Data Constructor)	Compiler.Hoopl
reduceLabelSet	Compiler.Hoopl
runWithFuel	Compiler.Hoopl
shallowBwdRw	Compiler.Hoopl
shallowFwdRw	Compiler.Hoopl
SimpleBwdRewrite	Compiler.Hoopl
SimpleFwdRewrite	Compiler.Hoopl
sizeLabelSet	Compiler.Hoopl
SomeChange	Compiler.Hoopl
successors	Compiler.Hoopl
thenBwdRw	Compiler.Hoopl
thenFwdRw	Compiler.Hoopl
unionBlocks	Compiler.Hoopl
unionFactBase	Compiler.Hoopl
unionLabelSet	Compiler.Hoopl
unitFact	Compiler.Hoopl
withFreshLabels	Compiler.Hoopl