Test.DejaFu.Conc

The ConcT monad transformer

data ConcT r n a

type ConcST t

type ConcIO

Executing computations

data Failure

data MemType

runConcurrent

subconcurrency

Execution traces

type Trace

data Decision

data ThreadId

data ThreadAction

data Lookahead

data MVarId

data CRefId

data MaskingState

showTrace

showFail

Scheduling