Test.DejaFu.Deterministic.Internal.Threading

Threads

type Threads n r s

data Thread n r s

mkthread

Blocking

data BlockedOn

(~=)

isLocked

Exceptions

data Handler n r s

propagate

interruptible

catching

uncatching

except

mask

Manipulating threads

goto

launch

launch'

kill

block

wake

knows

forgets

fullknown