Test.DejaFu.Common

Identifiers

data ThreadId

data CRefId

data MVarId

data TVarId

initialThread

Identifier source

data IdSource

nextCRId

nextMVId

nextTVId

nextTId

initialIdSource

Actions

Thread actions

data ThreadAction

isBlock

tvarsOf

Lookahead

data Lookahead

rewind

willRelease

Simplified actions

data ActionType

isBarrier

isCommit

synchronises

crefOf

mvarOf

simplifyAction

simplifyLookahead

STM actions

type TTrace

data TAction

Traces

type Trace

data Decision

showTrace

preEmpCount

Failures

data Failure

showFail

Memory models

data MemType