Test.DejaFu.Deterministic

The Conc Monad

data Conc n r s a

type ConcST t

type ConcIO

Executing computations

data Failure

data MemType

runConcST

runConcIO

Execution traces

type Trace tid action lookahead

data Decision tid

data ThreadId

data ThreadAction

data Lookahead

data MVarId

data CRefId

data MaskingState

showTrace

showFail

Scheduling