Hoed-0.5.1: Lightweight algorithmic debugging.

Index

<< 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
===Debug.Hoed
AlternativeTreeDebug.Hoed
arcsDebug.Hoed.CompTree
ArgumentDebug.Hoed
BoolPropositionDebug.Hoed
BottomDebug.Hoed
CDSDebug.Hoed.Render, Debug.Hoed
ChangeDebug.Hoed.Observe
changeDebug.Hoed.Observe
CompStmt 
1 (Type/Class)Debug.Hoed.Render, Debug.Hoed
2 (Data Constructor)Debug.Hoed.Render, Debug.Hoed
CompTreeDebug.Hoed.CompTree, Debug.Hoed
computationsDebug.Hoed.CompTree
conApDebug.Hoed
ConsDebug.Hoed.Observe
ConsCharDebug.Hoed.Observe
ConstantValue 
1 (Type/Class)Debug.Hoed.CompTree
2 (Data Constructor)Debug.Hoed.CompTree
constrain 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
constrainBaseDebug.Hoed.Observe, Debug.Hoed
CVRootDebug.Hoed.CompTree
debugDebug.Hoed.TH
debugODebug.Hoed
defaultHoedOptionsDebug.Hoed
dependenciesDebug.Hoed.CompTree
endEventStreamDebug.Hoed.Observe
EnterDebug.Hoed.Observe
evaluateDebug.Hoed.Observe
Event 
1 (Type/Class)Debug.Hoed.Observe
2 (Data Constructor)Debug.Hoed.Observe
eventDebug.Hoed.Observe
eventParentDebug.Hoed.Observe
eventsDebug.Hoed.Observe
eventsToCDSDebug.Hoed.Render
eventUIDDebug.Hoed.Observe
EventWithId 
1 (Type/Class)Debug.Hoed.Observe
2 (Data Constructor)Debug.Hoed.Observe
extraModulesDebug.Hoed
ForallDebug.Hoed
fromDebug.NoHoed
FromListDebug.Hoed
FunDebug.Hoed.Observe
funNameDebug.Hoed
GConstrainDebug.Hoed.Observe
gconstrainDebug.Hoed.Observe
gdMapMDebug.Hoed.Observe
gdmFunObserverDebug.Hoed.Observe
gdmObserveArgsDebug.Hoed.Observe
gdmobserverDebug.Hoed.Observe
gdmobserver_Debug.Hoed.Observe
gdmShallowShowDebug.Hoed.Observe
generateContextDebug.Hoed.Observe
GenericDebug.NoHoed, Debug.Hoed
getJudgementDebug.Hoed.CompTree
getUniqDebug.Hoed.Observe
GObservableDebug.Hoed.Observe
gobserveDebug.Hoed.Observe
Graph 
1 (Data Constructor)Debug.Hoed.CompTree
2 (Type/Class)Debug.Hoed.CompTree
gsendEnterPacketDebug.Hoed.Observe
gthunkDebug.Hoed.Observe
handleExcDebug.Hoed.Observe
HoedAnalysis 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
hoedCompTreeDebug.Hoed
HoedOptions 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
hoedTraceDebug.Hoed
initUniqDebug.Hoed.Observe
IOPropositionDebug.Hoed
isAssistedDebug.Hoed.CompTree
isInconclusiveDebug.Hoed.CompTree
isPassingDebug.Hoed.CompTree
isRightDebug.Hoed.CompTree
isRootEventDebug.Hoed.Observe
isRootVertexDebug.Hoed.CompTree
isUnassessedDebug.Hoed.CompTree
isWrongDebug.Hoed.CompTree
Judge 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
judgeDebug.Hoed
leafsDebug.Hoed.CompTree
LegacyQuickCheckPropositionDebug.Hoed
logODebug.Hoed
logOwpDebug.Hoed
lookupOrAddStringDebug.Hoed.Observe
lookupStringDebug.Hoed.Observe
maxSizeDebug.Hoed
mkCompTreeDebug.Hoed.CompTree
mkPropositionDebug.Hoed
Module 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
moduleNameDebug.Hoed
MVectorDebug.Hoed.Observe
MV_ChangeDebug.Hoed.Observe
MV_EventDebug.Hoed.Observe
MV_ParentDebug.Hoed.Observe
noNewlinesDebug.Hoed.Render
obsDebug.Hoed.TH
Observable 
1 (Type/Class)Debug.Hoed.Observe, Debug.Hoed
2 (Type/Class)Debug.NoHoed
ObserveDebug.Hoed.Observe
observe 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
observeBase 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
observeOpaqueDebug.Hoed.Observe, Debug.Hoed
observer 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
ObserverM 
1 (Type/Class)Debug.Hoed.Observe
2 (Data Constructor)Debug.Hoed.Observe
3 (Type/Class)Debug.NoHoed
4 (Data Constructor)Debug.NoHoed
observer_Debug.Hoed.Observe
ofTypeDebug.Hoed
ourCatchAllIODebug.Hoed.Observe
Parent 
1 (Type/Class)Debug.Hoed.Observe
2 (Data Constructor)Debug.Hoed.Observe
3 (Type/Class)Debug.NoHoed
4 (Data Constructor)Debug.NoHoed
ParentPositionDebug.Hoed.Observe
parentPositionDebug.Hoed.Observe
parentUIDDebug.Hoed.Observe
ParEqDebug.Hoed
parEqDebug.Hoed
peepUniqDebug.Hoed.Observe
prettyWidthDebug.Hoed
printO 
1 (Function)Debug.NoHoed
2 (Function)Debug.Hoed
printOwpDebug.Hoed
PropertiesOfDebug.Hoed
propModuleDebug.Hoed
propNameDebug.Hoed
Proposition 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
Propositions 
1 (Type/Class)Debug.Hoed
2 (Data Constructor)Debug.Hoed
propositionsDebug.Hoed
PropositionTypeDebug.Hoed
propositionTypeDebug.Hoed
PropTypeDebug.Hoed
propTypeDebug.Hoed
QuickCheckPropositionDebug.Hoed
RandomDebug.Hoed
renderCompStmtsDebug.Hoed.Render
RepDebug.NoHoed
replaceVertexDebug.Hoed.CompTree
RestrictedBottomDebug.Hoed
root 
1 (Function)Debug.Hoed.CompTree
2 (Function)Debug.Hoed.Observe
RootVertexDebug.Hoed.CompTree, Debug.Hoed
runMO 
1 (Function)Debug.Hoed.Observe
2 (Function)Debug.NoHoed
runO 
1 (Function)Debug.NoHoed
2 (Function)Debug.Hoed
runO'Debug.Hoed
runOstoreDebug.Hoed
runOwithDebug.Hoed
runOwpDebug.Hoed
searchPathDebug.Hoed
send 
1 (Function)Debug.Hoed.Observe, Debug.Hoed
2 (Function)Debug.NoHoed
sendEnterPacketDebug.Hoed.Observe
sendEventDebug.Hoed.Observe
sendObserveFnPacketDebug.Hoed.Observe
setJudgementDebug.Hoed.CompTree
SignatureDebug.Hoed
signatureDebug.Hoed
SilentDebug.Hoed
sizeHintDebug.Hoed
sortOnDebug.Hoed.Render
SpecifyDebug.Hoed
StmtConDebug.Hoed.Render
stmtConDebug.Hoed.Render
StmtDetailsDebug.Hoed.Render
stmtDetailsDebug.Hoed.Render, Debug.Hoed
stmtIdentifierDebug.Hoed.Render, Debug.Hoed
stmtLabelDebug.Hoed.Render, Debug.Hoed
StmtLamDebug.Hoed.Render
stmtLamArgsDebug.Hoed.Render
stmtLamResDebug.Hoed.Render
stmtPrettyDebug.Hoed.Render
stmtResDebug.Hoed.Render
stringsDebug.Hoed.Observe
stringsLookupTableDebug.Hoed.Observe
SubjectFunctionDebug.Hoed
TestGenDebug.Hoed
testgenDebug.Hoed
TestGenLegacyQuickCheckDebug.Hoed
TestGenQuickCheckDebug.Hoed
testO 
1 (Function)Debug.NoHoed
2 (Function)Debug.Hoed
testOwpDebug.Hoed
thunkDebug.Hoed.Observe, Debug.Hoed
toDebug.NoHoed
TraceDebug.Hoed.Observe
TraceInfo 
1 (Type/Class)Debug.Hoed.CompTree
2 (Data Constructor)Debug.Hoed.CompTree
traceInfoDebug.Hoed.CompTree
traceOnlyDebug.Hoed
UIDDebug.Hoed.Observe
UnevalHandlerDebug.Hoed
uniqDebug.Hoed.Observe
unjudgedCharacterCountDebug.Hoed.CompTree, Debug.Hoed
unsafeWithUniqDebug.Hoed.Observe
valLocDebug.Hoed.CompTree
valMaxDebug.Hoed.CompTree
valMinDebug.Hoed.CompTree
valStmtDebug.Hoed.CompTree
VectorDebug.Hoed.Observe
VerboseDebug.Hoed
verboseDebug.Hoed
VerbosityDebug.Hoed
Vertex 
1 (Type/Class)Debug.Hoed.CompTree, Debug.Hoed
2 (Data Constructor)Debug.Hoed.CompTree, Debug.Hoed
vertexJmtDebug.Hoed.CompTree, Debug.Hoed
vertexResDebug.Hoed.CompTree
vertexStmtDebug.Hoed.CompTree, Debug.Hoed
vertexUIDDebug.Hoed.CompTree
verticesDebug.Hoed.CompTree
V_ChangeDebug.Hoed.Observe
V_EventDebug.Hoed.Observe
V_ParentDebug.Hoed.Observe
withSignatureDebug.Hoed
withTestGenDebug.Hoed