| :| | Test.DejaFu.Conc |
| AAtom | Test.DejaFu.Conc.Internal.Common |
| Abort | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| abortsAlways | Test.DejaFu |
| abortsNever | Test.DejaFu |
| abortsSometimes | Test.DejaFu |
| ACasRef | Test.DejaFu.Conc.Internal.Common |
| ACatching | Test.DejaFu.Conc.Internal.Common |
| ACommit | Test.DejaFu.Conc.Internal.Common |
| 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 |
| AMessage | Test.DejaFu.Conc.Internal.Common |
| AModRef | Test.DejaFu.Conc.Internal.Common |
| AModRefCas | Test.DejaFu.Conc.Internal.Common |
| AMyTId | Test.DejaFu.Conc.Internal.Common |
| ANewRef | Test.DejaFu.Conc.Internal.Common |
| ANewVar | Test.DejaFu.Conc.Internal.Common |
| APopCatching | Test.DejaFu.Conc.Internal.Common |
| APutVar | Test.DejaFu.Conc.Internal.Common |
| AReadRef | Test.DejaFu.Conc.Internal.Common |
| AReadRefCas | Test.DejaFu.Conc.Internal.Common |
| AReadVar | 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 |
| ATakeVar | Test.DejaFu.Conc.Internal.Common |
| AThrow | Test.DejaFu.Conc.Internal.Common |
| AThrowTo | Test.DejaFu.Conc.Internal.Common |
| ATryPutVar | Test.DejaFu.Conc.Internal.Common |
| ATryTakeVar | Test.DejaFu.Conc.Internal.Common |
| autocheck | Test.DejaFu |
| autocheck' | Test.DejaFu |
| autocheckIO | Test.DejaFu |
| autocheckIO' | Test.DejaFu |
| AWriteRef | Test.DejaFu.Conc.Internal.Common |
| AYield | Test.DejaFu.Conc.Internal.Common |
| BacktrackFunc | Test.DejaFu.SCT |
| BacktrackStep | |
| 1 (Data Constructor) | Test.DejaFu.SCT |
| 2 (Type/Class) | Test.DejaFu.SCT |
| bcktBacktracks | Test.DejaFu.SCT |
| bcktDecision | Test.DejaFu.SCT |
| bcktRunnable | Test.DejaFu.SCT |
| bcktState | Test.DejaFu.SCT |
| bcktThreadid | Test.DejaFu.SCT |
| block | Test.DejaFu.Conc.Internal.Threading |
| BlockedOn | Test.DejaFu.Conc.Internal.Threading |
| BlockedPutVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| BlockedReadVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| BlockedSTM | Test.DejaFu.Common, Test.DejaFu.Conc |
| BlockedTakeVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| BlockedThrowTo | Test.DejaFu.Common, Test.DejaFu.Conc |
| boundFair | Test.DejaFu.SCT, Test.DejaFu |
| 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 |
| casCRef | Test.DejaFu.Conc.Internal.Memory |
| CasRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| Catching | Test.DejaFu.Common, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| CommitRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| commitWrite | Test.DejaFu.Conc.Internal.Memory |
| Conc | Test.DejaFu.Conc |
| ConcIO | Test.DejaFu.Conc |
| ConcST | Test.DejaFu.Conc |
| cont | Test.DejaFu.Conc.Internal.Common |
| Continue | Test.DejaFu.Common, Test.DejaFu.Conc |
| 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 |
| Deadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Common, Test.DejaFu.Conc |
| decisionOf | Test.DejaFu.Conc |
| defaultBounds | Test.DejaFu.SCT, Test.DejaFu |
| defaultFairBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultLengthBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultMemType | Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.SCT, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafu' | Test.DejaFu |
| dejafuIO | Test.DejaFu |
| dejafuIO' | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafus' | Test.DejaFu |
| dejafusIO | Test.DejaFu |
| dejafusIO' | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| doTransaction | Test.DejaFu.STM.Internal |
| emptyBuffer | Test.DejaFu.Conc.Internal.Memory |
| except | Test.DejaFu.Conc.Internal.Threading |
| Exception | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| exceptionsAlways | Test.DejaFu |
| exceptionsNever | Test.DejaFu |
| exceptionsSometimes | Test.DejaFu |
| Failure | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| FairBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| fBacktrack | Test.DejaFu.SCT |
| fBound | Test.DejaFu.SCT |
| 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 |
| initialIdSource | Test.DejaFu.Common |
| initialThread | Test.DejaFu.Common |
| InternalError | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| isBarrier | Test.DejaFu.Common |
| isBlock | Test.DejaFu.Common |
| isCommit | Test.DejaFu.Common |
| isSTMSuccess | Test.DejaFu.STM.Internal |
| kill | Test.DejaFu.Conc.Internal.Threading |
| Killed | Test.DejaFu.Common, Test.DejaFu.Conc |
| launch | Test.DejaFu.Conc.Internal.Threading |
| launch' | Test.DejaFu.Conc.Internal.Threading |
| LengthBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| LiftIO | Test.DejaFu.Common, Test.DejaFu.Conc |
| Lookahead | Test.DejaFu.Common, Test.DejaFu.Conc |
| lookahead | Test.DejaFu.Conc.Internal.Common |
| M | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 3 (Type/Class) | Test.DejaFu.STM.Internal |
| makeNonPreemptive | 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 |
| Message | Test.DejaFu.Common, Test.DejaFu.Conc |
| mkthread | Test.DejaFu.Conc.Internal.Threading |
| ModRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| ModRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
| 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 |
| NewRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| NewVar | 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 |
| NonEmpty | Test.DejaFu.Conc |
| notAlwaysSame | 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 |
| pBacktrack | Test.DejaFu.SCT |
| pBound | Test.DejaFu.SCT |
| PopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
| Predicate | Test.DejaFu |
| preEmpCount | Test.DejaFu.Common |
| PreemptionBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| randomSched | Test.DejaFu.Conc |
| randomSchedNP | Test.DejaFu.Conc |
| readCRef | Test.DejaFu.Conc.Internal.Memory |
| readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| ReadRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
| ReadVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| 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 |
| Retry | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| Return | Test.DejaFu.Common, Test.DejaFu.Conc |
| rewind | Test.DejaFu.Common |
| roundRobinSched | Test.DejaFu.Conc |
| roundRobinSchedNP | Test.DejaFu.Conc |
| runConcurrent | Test.DejaFu.Conc |
| runCont | Test.DejaFu.Conc.Internal.Common |
| runM | Test.DejaFu.Conc.Internal.Common |
| runTest | Test.DejaFu |
| runTest' | Test.DejaFu |
| runTestM | Test.DejaFu |
| runTestM' | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.STM |
| SCatch | Test.DejaFu.STM.Internal |
| Scheduler | Test.DejaFu.Conc |
| sctBound | Test.DejaFu.SCT |
| sctBounded | Test.DejaFu.SCT |
| sctFairBound | Test.DejaFu.SCT |
| sctLengthBound | Test.DejaFu.SCT |
| sctPreBound | Test.DejaFu.SCT |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| 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 |
| simplifyAction | Test.DejaFu.Common |
| simplifyLookahead | Test.DejaFu.Common |
| 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.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 |
| Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| SwitchTo | Test.DejaFu.Common, 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 |
| TAction | Test.DejaFu.Common, Test.DejaFu.STM |
| takeFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TakeVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| TCatch | Test.DejaFu.Common, Test.DejaFu.STM |
| 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.Conc |
| 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 |
| TryPutVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| tryTakeFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TryTakeVar | 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 |
| Unmasked | Test.DejaFu.Conc |
| UnsynchronisedOther | Test.DejaFu.Common |
| UnsynchronisedRead | Test.DejaFu.Common |
| UnsynchronisedWrite | Test.DejaFu.Common |
| wake | Test.DejaFu.Conc.Internal.Threading |
| WillCasRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillCommitRef | 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 |
| WillMessage | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillModRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillModRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillMyThreadId | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillNewRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillNewVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillPopCatching | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillPutVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillReadRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillReadRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillReadVar | 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 |
| WillTakeVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillThrow | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillThrowTo | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillTryPutVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillTryTakeVar | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillWriteRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| WillYield | Test.DejaFu.Common, Test.DejaFu.Conc |
| writeBarrier | Test.DejaFu.Conc.Internal.Memory |
| WriteBuffer | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| writeImmediate | Test.DejaFu.Conc.Internal.Memory |
| WriteRef | Test.DejaFu.Common, Test.DejaFu.Conc |
| 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 |