Debug.Hoed

Basic annotations

observe

runO

printO

testO

Property-assisted algorithmic debugging

runOwp

printOwp

testOwp

data Propositions

data PropType

data Proposition

mkProposition

ofType

withSignature

sizeHint

withTestGen

data TestGen

data PropositionType

data Module

data Signature

class ParEq a

(===)

runOstore

conAp

Build your own debugger with Hoed

runO'

judge

unjudgedCharacterCount

type CompTree

data Vertex

data CompStmt

data Judge

data Verbosity

API to test Hoed itself

logO

logOwp

traceOnly

data UnevalHandler

The Observable class

data Observer

class Observable a

(<<)

thunk

nothunk

send

observeOpaque

observeBase

constrainBase

debugO

data CDS

class Generic a