Debug.Hoed.Pure

Basic annotations

observe

runO

testO

printO

logO

Property-based judging

runOwp

testOwp

logOwp

data Propositions

data PropType

type Proposition

data PropositionType

data Module

propVarError

propVarFresh

Experimental annotations

traceOnly

observeTempl

observedTypes

observeCC

Parallel equality

class ParEq a

The Observable class

data Observer

class Observable a

(<<)

thunk

nothunk

send

observeBase

observeOpaque

debugO

data CDS

class Generic a