shivers-cfg-0.1.1: Implementation of Shivers' Control-Flow Analysis

Index

Common
:⇀Common
Ans 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
AppCPSScheme
appCPSScheme
BEnv 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
binderCPSScheme
CCPSScheme
cCPSScheme
CallCPSScheme
CCache 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
CCtxt 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
CFA0 
1 (Type/Class)AbsCF
2 (Data Constructor)AbsCF
CFA1 
1 (Type/Class)AbsCF
2 (Data Constructor)AbsCF
charToLabelCPSPrint
Closure 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
ConstCPSScheme
Contour 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
createCodeWithGraphCFGraph
createDotFromCodeCFGraph
createDotFromGraphCFGraph
CStateAbsCF
D 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
DC 
1 (Data Constructor)ExCF
2 (Data Constructor)Eval
DI 
1 (Data Constructor)ExCF
2 (Data Constructor)Eval
DP 
1 (Data Constructor)ExCF
2 (Data Constructor)Eval
embeddLabelCPSPrint
evalC 
1 (Function)ExCF
2 (Function)AbsCF
3 (Function)Eval
evalCPS 
1 (Function)ExCF
2 (Function)AbsCF
3 (Function)Eval
evalCPS_CFA0AbsCF
evalCPS_CFA1AbsCF
evalF 
1 (Function)ExCF
2 (Function)AbsCF
3 (Function)Eval
evalV 
1 (Function)ExCF
2 (Function)AbsCF
3 (Function)Eval
ex1CPSScheme
ex2CPSScheme
ex3CPSScheme
ex4CPSScheme
fontCFGraph
FStateAbsCF
graphToEdgelistAbsCF
IfCPSScheme
if_CPSScheme
initialAbsCF
Inv 
1 (Type/Class)CPSScheme
2 (Data Constructor)CPSScheme
ipCallCPSPrint
ipLambdaCPSPrint
ipPrimCPSPrint
ipProgCPSPrint
ipValCPSPrint
ipVarCPSPrint
LCPSScheme
lCPSScheme
Label 
1 (Type/Class)CPSScheme
2 (Data Constructor)CPSScheme
labelPositionsCPSPrint
labelToCharCPSPrint
Lambda 
1 (Type/Class)CPSScheme
2 (Data Constructor)CPSScheme
lambdaCPSScheme
LetCPSScheme
let_CPSScheme
MemoAbsCF
nbAbsCF
noProgCPSScheme
PCPSScheme
PCAbsCF
PlusCPSScheme
plusCPSScheme
PPAbsCF
ppCallCPSPrint
ppLambdaCPSPrint
ppProgCPSPrint
ppValCPSPrint
PrimCPSScheme
ProcAbsCF
ProgCPSScheme
progCPSScheme
puzzleCPSScheme
RCPSScheme
removeLambdasCPSPrint
renderCodeToFileCFGraph
renderProgCPSPrint
renderProgToIsaCPSPrint
startAtCPSPrint
Stop 
1 (Data Constructor)ExCF
2 (Data Constructor)AbsCF
3 (Data Constructor)Eval
theCharHeightCFGraph
theCharWidthCFGraph
unionsMCommon
unsafeFinishCPSScheme
updCommon
upd'Common
ValCPSScheme
Var 
1 (Type/Class)CPSScheme
2 (Data Constructor)CPSScheme
VEnv 
1 (Type/Class)ExCF
2 (Type/Class)AbsCF
3 (Type/Class)Eval
Common