->- | Test.DejaFu.Refinement, Test.DejaFu |
:| | Test.DejaFu.Schedule, Test.DejaFu.Conc |
=== | Test.DejaFu.Refinement, Test.DejaFu |
=>= | Test.DejaFu.Refinement, Test.DejaFu |
AAtom | Test.DejaFu.Conc.Internal.Common |
Abort | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
abortsAlways | Test.DejaFu |
abortsNever | Test.DejaFu |
abortsSometimes | Test.DejaFu |
ACasCRef | Test.DejaFu.Conc.Internal.Common |
ACatching | Test.DejaFu.Conc.Internal.Common |
ACommit | Test.DejaFu.Conc.Internal.Common |
Act | Test.DejaFu.Conc.Internal |
Action | Test.DejaFu.Conc.Internal.Common |
ActionType | Test.DejaFu.Common |
addCommitThreads | Test.DejaFu.Conc.Internal.Memory |
AFork | Test.DejaFu.Conc.Internal.Common |
AGetNumCapabilities | Test.DejaFu.Conc.Internal.Common |
ALift | Test.DejaFu.Conc.Internal.Common |
alwaysSame | Test.DejaFu |
alwaysTrue | Test.DejaFu |
alwaysTrue2 | Test.DejaFu |
AMasking | Test.DejaFu.Conc.Internal.Common |
AModCRef | Test.DejaFu.Conc.Internal.Common |
AModCRefCas | Test.DejaFu.Conc.Internal.Common |
AMyTId | Test.DejaFu.Conc.Internal.Common |
ANewCRef | Test.DejaFu.Conc.Internal.Common |
ANewMVar | Test.DejaFu.Conc.Internal.Common |
APopCatching | Test.DejaFu.Conc.Internal.Common |
APutMVar | Test.DejaFu.Conc.Internal.Common |
AReadCRef | Test.DejaFu.Conc.Internal.Common |
AReadCRefCas | Test.DejaFu.Conc.Internal.Common |
AReadMVar | Test.DejaFu.Conc.Internal.Common |
AResetMask | Test.DejaFu.Conc.Internal.Common |
AReturn | Test.DejaFu.Conc.Internal.Common |
ASetNumCapabilities | Test.DejaFu.Conc.Internal.Common |
AStop | Test.DejaFu.Conc.Internal.Common |
AStopSub | Test.DejaFu.Conc.Internal.Common |
ASub | Test.DejaFu.Conc.Internal.Common |
ATakeMVar | Test.DejaFu.Conc.Internal.Common |
AThrow | Test.DejaFu.Conc.Internal.Common |
AThrowTo | Test.DejaFu.Conc.Internal.Common |
ATryPutMVar | Test.DejaFu.Conc.Internal.Common |
ATryReadMVar | Test.DejaFu.Conc.Internal.Common |
ATryTakeMVar | Test.DejaFu.Conc.Internal.Common |
autocheck | Test.DejaFu |
autocheckIO | Test.DejaFu |
autocheckWay | Test.DejaFu |
autocheckWayIO | Test.DejaFu |
AWriteCRef | Test.DejaFu.Conc.Internal.Common |
AYield | Test.DejaFu.Conc.Internal.Common |
backtrackAt | Test.DejaFu.SCT.Internal |
BacktrackFunc | Test.DejaFu.SCT.Internal |
BacktrackStep | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
bcktAction | Test.DejaFu.SCT.Internal |
bcktBacktracks | Test.DejaFu.SCT.Internal |
bcktDecision | Test.DejaFu.SCT.Internal |
bcktRunnable | Test.DejaFu.SCT.Internal |
bcktState | Test.DejaFu.SCT.Internal |
bcktThreadid | Test.DejaFu.SCT.Internal |
block | Test.DejaFu.Conc.Internal.Threading |
BlockedOn | Test.DejaFu.Conc.Internal.Threading |
BlockedPutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
BlockedReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
BlockedSTM | Test.DejaFu.Common, Test.DejaFu.Conc |
BlockedTakeMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
BlockedThrowTo | Test.DejaFu.Common, Test.DejaFu.Conc |
Blocking | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
boundFair | Test.DejaFu.SCT, Test.DejaFu |
BoundFunc | Test.DejaFu.SCT.Internal |
boundLength | Test.DejaFu.SCT, Test.DejaFu |
boundPreemp | Test.DejaFu.SCT, Test.DejaFu |
Bounds | |
1 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
buffer | Test.DejaFu.Conc.Internal.Memory |
BufferedWrite | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
bufferWrite | Test.DejaFu.Conc.Internal.Memory |
canInterrupt | Test.DejaFu.SCT.Internal |
canInterruptL | Test.DejaFu.SCT.Internal |
CasCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
casCRef | Test.DejaFu.Conc.Internal.Memory |
Catching | Test.DejaFu.Common, 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 |
CommitCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
commitWrite | Test.DejaFu.Conc.Internal.Memory |
ConcIO | Test.DejaFu.Conc |
ConcST | Test.DejaFu.Conc |
ConcT | Test.DejaFu.Conc |
cont | |
1 (Function) | Test.DejaFu.STM.Internal |
2 (Function) | Test.DejaFu.Conc.Internal.Common |
Context | |
1 (Type/Class) | Test.DejaFu.Conc.Internal |
2 (Data Constructor) | Test.DejaFu.Conc.Internal |
Continue | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
CounterExample | Test.DejaFu.Refinement, Test.DejaFu |
counterExamples | Test.DejaFu.Refinement, Test.DejaFu |
CRef | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
CRefId | |
1 (Type/Class) | Test.DejaFu.Common, Test.DejaFu.Conc |
2 (Data Constructor) | Test.DejaFu.Common |
crefOf | Test.DejaFu.Common |
cSchedState | Test.DejaFu.Conc.Internal |
cThreads | Test.DejaFu.Conc.Internal |
cWriteBuf | Test.DejaFu.Conc.Internal |
Deadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
deadlocksAlways | Test.DejaFu |
deadlocksNever | Test.DejaFu |
deadlocksSometimes | Test.DejaFu |
Decision | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
decisionOf | Test.DejaFu.Schedule, Test.DejaFu.Conc |
defaultBounds | Test.DejaFu.Defaults, Test.DejaFu |
defaultDiscarder | Test.DejaFu.Defaults, Test.DejaFu |
defaultFairBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultLengthBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultMemType | Test.DejaFu.Defaults, Test.DejaFu |
defaultPreemptionBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultWay | Test.DejaFu.Defaults, Test.DejaFu |
dejafu | Test.DejaFu |
dejafuDiscard | Test.DejaFu |
dejafuDiscardIO | Test.DejaFu |
dejafuIO | Test.DejaFu |
dejafus | Test.DejaFu |
dejafusIO | Test.DejaFu |
dejafusWay | Test.DejaFu |
dejafusWayIO | Test.DejaFu |
dejafuWay | Test.DejaFu |
dejafuWayIO | Test.DejaFu |
delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
depCRState | Test.DejaFu.SCT.Internal |
dependent | Test.DejaFu.SCT.Internal |
dependent' | Test.DejaFu.SCT.Internal |
dependentActions | Test.DejaFu.SCT.Internal |
depMaskState | Test.DejaFu.SCT.Internal |
DepState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
didYield | Test.DejaFu.SCT.Internal |
Discard | Test.DejaFu.SCT, Test.DejaFu |
DiscardResultAndTrace | Test.DejaFu.SCT, Test.DejaFu |
DiscardTrace | Test.DejaFu.SCT, Test.DejaFu |
doTransaction | Test.DejaFu.STM.Internal |
DPOR | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
dporDone | Test.DejaFu.SCT.Internal |
dporNext | Test.DejaFu.SCT.Internal |
dporRunnable | Test.DejaFu.SCT.Internal |
dporSched | Test.DejaFu.SCT.Internal |
DPORSchedState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
dporSleep | Test.DejaFu.SCT.Internal |
dporTaken | Test.DejaFu.SCT.Internal |
dporTodo | Test.DejaFu.SCT.Internal |
emptyBuffer | Test.DejaFu.Conc.Internal.Memory |
Emptying | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
equivalentTo | Test.DejaFu.Refinement, Test.DejaFu |
err | Test.DejaFu.SCT.Internal |
except | Test.DejaFu.Conc.Internal.Threading |
Exception | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
exceptionsAlways | Test.DejaFu |
exceptionsNever | Test.DejaFu |
exceptionsSometimes | Test.DejaFu |
expectFailure | Test.DejaFu.Refinement, Test.DejaFu |
expression | Test.DejaFu.Refinement, Test.DejaFu |
FailedProperty | Test.DejaFu.Refinement, Test.DejaFu |
failingArgs | Test.DejaFu.Refinement, Test.DejaFu |
failingSeed | Test.DejaFu.Refinement, Test.DejaFu |
Failure | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
FairBound | |
1 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
findBacktrackSteps | Test.DejaFu.SCT.Internal |
findSchedulePrefix | Test.DejaFu.SCT.Internal |
Fork | Test.DejaFu.Common, Test.DejaFu.Conc |
GetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
gives | Test.DejaFu |
gives' | Test.DejaFu |
goto | Test.DejaFu.Conc.Internal.Threading |
Handler | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
Id | Test.DejaFu.Common |
IdSource | Test.DejaFu.Common |
IllegalSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
incorporateBacktrackSteps | Test.DejaFu.SCT.Internal |
incorporateTrace | Test.DejaFu.SCT.Internal |
initialDepState | Test.DejaFu.SCT.Internal |
initialDPORSchedState | Test.DejaFu.SCT.Internal |
initialDPORThread | Test.DejaFu.SCT.Internal |
initialIdSource | Test.DejaFu.Common |
initialise | Test.DejaFu.Refinement, Test.DejaFu |
initialRandSchedState | Test.DejaFu.SCT.Internal |
initialState | Test.DejaFu.SCT.Internal |
initialThread | Test.DejaFu.Common |
interfere | Test.DejaFu.Refinement, Test.DejaFu |
InternalError | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
interruptible | Test.DejaFu.Conc.Internal.Threading |
isBarrier | Test.DejaFu.Common |
isBlock | Test.DejaFu.Common |
isBuffered | Test.DejaFu.SCT.Internal |
isCommit | Test.DejaFu.Common |
isMaskedInterruptible | Test.DejaFu.SCT.Internal |
isMaskedUninterruptible | Test.DejaFu.SCT.Internal |
isSTMSuccess | Test.DejaFu.STM.Internal |
kill | Test.DejaFu.Conc.Internal.Threading |
Killed | Test.DejaFu.Common, Test.DejaFu.Conc |
killsDaemons | Test.DejaFu.SCT.Internal |
launch | Test.DejaFu.Conc.Internal.Threading |
launch' | Test.DejaFu.Conc.Internal.Threading |
leftResults | Test.DejaFu.Refinement, Test.DejaFu |
LengthBound | |
1 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
LiftIO | Test.DejaFu.Common, Test.DejaFu.Conc |
list | Test.DejaFu.Refinement, Test.DejaFu |
Listable | Test.DejaFu.Refinement, Test.DejaFu |
Lookahead | Test.DejaFu.Common, Test.DejaFu.Conc |
lookahead | Test.DejaFu.Conc.Internal.Common |
M | |
1 (Type/Class) | Test.DejaFu.STM.Internal |
2 (Data Constructor) | Test.DejaFu.STM.Internal |
3 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
4 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
makeNonPreemptive | Test.DejaFu.Schedule, Test.DejaFu.Conc |
mask | Test.DejaFu.Conc.Internal.Threading |
MaskedInterruptible | Test.DejaFu.Conc |
MaskedUninterruptible | Test.DejaFu.Conc |
MaskingState | Test.DejaFu.Conc |
MemType | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
mkthread | Test.DejaFu.Conc.Internal.Threading |
ModCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
ModCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
MonadFailException | |
1 (Type/Class) | Test.DejaFu.Common |
2 (Data Constructor) | Test.DejaFu.Common |
mutMVar | Test.DejaFu.Conc.Internal.Memory |
MVar | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
MVarId | |
1 (Type/Class) | Test.DejaFu.Common, Test.DejaFu.Conc |
2 (Data Constructor) | Test.DejaFu.Common |
mvarOf | Test.DejaFu.Common |
MyThreadId | Test.DejaFu.Common, Test.DejaFu.Conc |
NewCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
NewMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
nextCRId | Test.DejaFu.Common |
nextMVId | Test.DejaFu.Common |
nextTId | Test.DejaFu.Common |
nextTVId | Test.DejaFu.Common |
noBounds | Test.DejaFu.SCT, Test.DejaFu |
NoExpectedFailure | Test.DejaFu.Refinement, Test.DejaFu |
NonBlocking | Test.DejaFu.Conc.Internal.Memory |
NonEmpty | Test.DejaFu.Schedule, Test.DejaFu.Conc |
NonEmptying | Test.DejaFu.Conc.Internal.Memory |
notAlwaysSame | Test.DejaFu |
O | Test.DejaFu.Refinement, Test.DejaFu |
observe | Test.DejaFu.Refinement, Test.DejaFu |
OnMask | Test.DejaFu.Conc.Internal.Threading |
OnMVarEmpty | Test.DejaFu.Conc.Internal.Threading |
OnMVarFull | Test.DejaFu.Conc.Internal.Threading |
OnTVar | Test.DejaFu.Conc.Internal.Threading |
PartiallySynchronisedCommit | Test.DejaFu.Common |
PartiallySynchronisedModify | Test.DejaFu.Common |
PartiallySynchronisedWrite | Test.DejaFu.Common |
PartialStoreOrder | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
PopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
Predicate | Test.DejaFu |
preEmpCount | Test.DejaFu.Common |
PreemptionBound | |
1 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
propagate | Test.DejaFu.Conc.Internal.Threading |
putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
PutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
randomly | Test.DejaFu.SCT, Test.DejaFu |
randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
randSched | Test.DejaFu.SCT.Internal |
RandSchedState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
ReadCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
readCRef | Test.DejaFu.Conc.Internal.Memory |
ReadCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
readForTicket | Test.DejaFu.Conc.Internal.Memory |
readFromMVar | Test.DejaFu.Conc.Internal.Memory |
ReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
refines | Test.DejaFu.Refinement, Test.DejaFu |
representative | Test.DejaFu |
ResetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
Result | |
1 (Type/Class) | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
2 (Type/Class) | Test.DejaFu |
3 (Data Constructor) | Test.DejaFu |
resultsSet | Test.DejaFu.SCT |
resultsSet' | Test.DejaFu.SCT |
resultsSetDiscard | Test.DejaFu.SCT |
resultsSetDiscard' | Test.DejaFu.SCT |
Retry | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
Return | Test.DejaFu.Common, Test.DejaFu.Conc |
rewind | Test.DejaFu.Common |
rightResults | Test.DejaFu.Refinement, Test.DejaFu |
roundRobinSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
roundRobinSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
runConcurrency | Test.DejaFu.Conc.Internal |
runConcurrent | Test.DejaFu.Conc |
runCont | |
1 (Function) | Test.DejaFu.STM.Internal |
2 (Function) | Test.DejaFu.Conc.Internal.Common |
runM | |
1 (Function) | Test.DejaFu.STM.Internal |
2 (Function) | Test.DejaFu.Conc.Internal.Common |
runRefCont | Test.DejaFu.Common |
runSCT | Test.DejaFu.SCT |
runSCT' | Test.DejaFu.SCT |
runSCTDiscard | Test.DejaFu.SCT |
runSCTDiscard' | Test.DejaFu.SCT |
runTest | Test.DejaFu |
runTestM | Test.DejaFu |
runTestWay | Test.DejaFu |
runTestWayM | Test.DejaFu |
runThreads | Test.DejaFu.Conc.Internal |
runTransaction | Test.DejaFu.STM |
SCatch | Test.DejaFu.STM.Internal |
schedBoundKill | Test.DejaFu.SCT.Internal |
schedBPoints | Test.DejaFu.SCT.Internal |
schedDepState | Test.DejaFu.SCT.Internal |
schedGen | Test.DejaFu.SCT.Internal |
schedIgnore | Test.DejaFu.SCT.Internal |
schedPrefix | Test.DejaFu.SCT.Internal |
schedSleep | Test.DejaFu.SCT.Internal |
Scheduler | Test.DejaFu.Schedule, Test.DejaFu.Conc |
schedWeights | Test.DejaFu.SCT.Internal |
sctBound | Test.DejaFu.SCT |
sctBoundDiscard | Test.DejaFu.SCT |
sctUniformRandom | Test.DejaFu.SCT |
sctUniformRandomDiscard | Test.DejaFu.SCT |
sctWeightedRandom | Test.DejaFu.SCT |
sctWeightedRandomDiscard | Test.DejaFu.SCT |
seeMVar | Test.DejaFu.Conc.Internal.Memory |
SeqTrace | Test.DejaFu.Conc.Internal |
SequentialConsistency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
SetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
SetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
showFail | Test.DejaFu.Common, Test.DejaFu.Conc |
showTrace | Test.DejaFu.Common, Test.DejaFu.Conc |
Sig | |
1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
simplifyAction | Test.DejaFu.Common |
simplifyLookahead | Test.DejaFu.Common |
Single | Test.DejaFu.Conc.Internal |
SNew | Test.DejaFu.STM.Internal |
somewhereTrue | Test.DejaFu |
SOrElse | Test.DejaFu.STM.Internal |
SRead | Test.DejaFu.STM.Internal |
SRetry | Test.DejaFu.STM.Internal |
SStop | Test.DejaFu.STM.Internal |
Start | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
stepThread | Test.DejaFu.Conc.Internal |
stepTrans | Test.DejaFu.STM.Internal |
SThrow | Test.DejaFu.STM.Internal |
STM | Test.DejaFu.Common, Test.DejaFu.Conc |
STMAction | Test.DejaFu.STM.Internal |
STMDeadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
STMIO | Test.DejaFu.STM |
STMLike | Test.DejaFu.STM |
STMST | Test.DejaFu.STM |
Stop | Test.DejaFu.Common, Test.DejaFu.Conc |
StopSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
SubC | Test.DejaFu.Conc.Internal |
Subconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
subconcurrency | Test.DejaFu.Conc |
Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
swarmy | Test.DejaFu.SCT, Test.DejaFu |
SwitchTo | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
SWrite | Test.DejaFu.STM.Internal |
SynchronisedModify | Test.DejaFu.Common |
SynchronisedOther | Test.DejaFu.Common |
SynchronisedRead | Test.DejaFu.Common |
SynchronisedWrite | Test.DejaFu.Common |
synchronises | Test.DejaFu.Common |
systematically | Test.DejaFu.SCT, Test.DejaFu |
TAction | Test.DejaFu.Common, Test.DejaFu.STM |
takeFromMVar | Test.DejaFu.Conc.Internal.Memory |
TakeMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
TCatch | Test.DejaFu.Common, Test.DejaFu.STM |
Testable | Test.DejaFu.Refinement, Test.DejaFu |
Thread | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
ThreadAction | Test.DejaFu.Common, Test.DejaFu.Conc |
ThreadId | |
1 (Type/Class) | Test.DejaFu.Common, Test.DejaFu.Conc |
2 (Data Constructor) | Test.DejaFu.Common, Test.DejaFu.Conc |
Threads | Test.DejaFu.Conc.Internal.Threading |
Throw | Test.DejaFu.Common, Test.DejaFu.Conc |
ThrowTo | Test.DejaFu.Common, Test.DejaFu.Conc |
Ticket | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
tidOf | Test.DejaFu.Schedule, Test.DejaFu.Conc |
tiers | Test.DejaFu.Refinement, Test.DejaFu |
TNew | Test.DejaFu.Common, Test.DejaFu.STM |
TOrElse | Test.DejaFu.Common, Test.DejaFu.STM |
TotalStoreOrder | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
Trace | Test.DejaFu.Common, Test.DejaFu.Conc |
TRead | Test.DejaFu.Common, Test.DejaFu.STM |
TRetry | Test.DejaFu.Common, Test.DejaFu.STM |
tryPutIntoMVar | Test.DejaFu.Conc.Internal.Memory |
TryPutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
tryReadFromMVar | Test.DejaFu.Conc.Internal.Memory |
TryReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
tryTakeFromMVar | Test.DejaFu.Conc.Internal.Memory |
TryTakeMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
TStop | Test.DejaFu.Common, Test.DejaFu.STM |
TThrow | Test.DejaFu.Common, Test.DejaFu.STM |
TTrace | Test.DejaFu.Common, Test.DejaFu.STM |
TVar | |
1 (Type/Class) | Test.DejaFu.STM.Internal |
2 (Data Constructor) | Test.DejaFu.STM.Internal |
TVarId | |
1 (Type/Class) | Test.DejaFu.Common, Test.DejaFu.STM |
2 (Data Constructor) | Test.DejaFu.Common |
tvarsOf | Test.DejaFu.Common |
TWrite | Test.DejaFu.Common, Test.DejaFu.STM |
uncatching | Test.DejaFu.Conc.Internal.Threading |
UncaughtException | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
uniformly | Test.DejaFu.SCT, Test.DejaFu |
Unmasked | Test.DejaFu.Conc |
UnsynchronisedOther | Test.DejaFu.Common |
UnsynchronisedRead | Test.DejaFu.Common |
UnsynchronisedWrite | Test.DejaFu.Common |
updateCRState | Test.DejaFu.SCT.Internal |
updateDepState | Test.DejaFu.SCT.Internal |
updateMaskState | Test.DejaFu.SCT.Internal |
wake | Test.DejaFu.Conc.Internal.Threading |
Way | Test.DejaFu.SCT, Test.DejaFu |
WillCasCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
WillCommitCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillFork | Test.DejaFu.Common, Test.DejaFu.Conc |
WillGetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
WillLiftIO | Test.DejaFu.Common, Test.DejaFu.Conc |
WillModCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillModCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
WillMyThreadId | Test.DejaFu.Common, Test.DejaFu.Conc |
WillNewCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillNewMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillPopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
WillPutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillReadCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillReadCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
WillReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
willRelease | Test.DejaFu.Common |
WillResetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
WillReturn | Test.DejaFu.Common, Test.DejaFu.Conc |
WillSetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
WillSetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
WillSTM | Test.DejaFu.Common, Test.DejaFu.Conc |
WillStop | Test.DejaFu.Common, Test.DejaFu.Conc |
WillStopSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
WillSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
WillTakeMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillThrow | Test.DejaFu.Common, Test.DejaFu.Conc |
WillThrowTo | Test.DejaFu.Common, Test.DejaFu.Conc |
WillTryPutMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillTryReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillTryTakeMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
WillWriteCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
WillYield | Test.DejaFu.Common, Test.DejaFu.Conc |
willYield | Test.DejaFu.SCT.Internal |
writeBarrier | Test.DejaFu.Conc.Internal.Memory |
WriteBuffer | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
WriteCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
writeImmediate | Test.DejaFu.Conc.Internal.Memory |
X | Test.DejaFu.Refinement, Test.DejaFu |
Yield | Test.DejaFu.Common, Test.DejaFu.Conc |
_blocking | Test.DejaFu.Conc.Internal.Threading |
_casesChecked | Test.DejaFu |
_continuation | Test.DejaFu.Conc.Internal.Threading |
_crefId | Test.DejaFu.Conc.Internal.Common |
_crefVal | Test.DejaFu.Conc.Internal.Common |
_cvarId | Test.DejaFu.Conc.Internal.Common |
_cvarVal | Test.DejaFu.Conc.Internal.Common |
_failureMsg | Test.DejaFu |
_failures | Test.DejaFu |
_handlers | Test.DejaFu.Conc.Internal.Threading |
_masking | Test.DejaFu.Conc.Internal.Threading |
_nextCRId | Test.DejaFu.Common |
_nextMVId | Test.DejaFu.Common |
_nextTId | Test.DejaFu.Common |
_nextTVId | Test.DejaFu.Common |
_pass | Test.DejaFu |
_ticketCRef | Test.DejaFu.Conc.Internal.Common |
_ticketVal | Test.DejaFu.Conc.Internal.Common |
_ticketWrites | Test.DejaFu.Conc.Internal.Common |
_usedCRNames | Test.DejaFu.Common |
_usedMVNames | Test.DejaFu.Common |
_usedTNames | Test.DejaFu.Common |
_usedTVNames | Test.DejaFu.Common |
~= | Test.DejaFu.Conc.Internal.Threading |