Contents
Index
dejafu-1.11.0.3: A library for unit-testing concurrent programs.
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
X
Y
=
-
~
_
All
Index - C
canDCSnapshot
Test.DejaFu.Conc
canInterrupt
Test.DejaFu.SCT.Internal.DPOR
canInterruptL
Test.DejaFu.SCT.Internal.DPOR
CasIORef
Test.DejaFu.Types
,
Test.DejaFu.Conc
casIORef
Test.DejaFu.Conc.Internal.Memory
Catching
Test.DejaFu.Types
,
Test.DejaFu.Conc
catching
Test.DejaFu.Conc.Internal.Threading
cCaps
Test.DejaFu.Conc.Internal
check
Test.DejaFu.Refinement
, Test.DejaFu
check'
Test.DejaFu.Refinement
, Test.DejaFu
checkFor
Test.DejaFu.Refinement
, Test.DejaFu
cIdSource
Test.DejaFu.Conc.Internal
CommitIORef
Test.DejaFu.Types
,
Test.DejaFu.Conc
commitThreadId
Test.DejaFu.Conc.Internal.Memory
commitWrite
Test.DejaFu.Conc.Internal.Memory
ConcIO
Test.DejaFu.Conc
ConcT
Test.DejaFu.Conc
Context
1 (Type/Class)
Test.DejaFu.Conc.Internal
2 (Data Constructor)
Test.DejaFu.Conc.Internal
Continue
Test.DejaFu.Types
,
Test.DejaFu.Conc
CounterExample
Test.DejaFu.Refinement
, Test.DejaFu
counterExamples
Test.DejaFu.Refinement
, Test.DejaFu
CResult
1 (Type/Class)
Test.DejaFu.Conc.Internal
2 (Data Constructor)
Test.DejaFu.Conc.Internal
cSchedState
Test.DejaFu.Conc.Internal
cThreads
Test.DejaFu.Conc.Internal
cWriteBuf
Test.DejaFu.Conc.Internal