| ->- | 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 |
| ADelay | Test.DejaFu.Conc.Internal.Common |
| 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 |
| 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 |
| efromJust | Test.DejaFu.Common |
| efromList | Test.DejaFu.Common |
| ehead | Test.DejaFu.Common |
| eidx | Test.DejaFu.Common |
| 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 |
| etail | Test.DejaFu.Common |
| 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 |
| fatal | Test.DejaFu.Common |
| 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 |
| IncrementalBoundFunc | 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 |
| isAbort | Test.DejaFu.Common, Test.DejaFu |
| isBarrier | Test.DejaFu.Common |
| isBlock | Test.DejaFu.Common |
| isBuffered | Test.DejaFu.SCT.Internal |
| isCommit | Test.DejaFu.Common |
| isDeadlock | Test.DejaFu.Common, Test.DejaFu |
| isIllegalSubconcurrency | Test.DejaFu.Common, Test.DejaFu |
| isInternalError | Test.DejaFu.Common, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.SCT.Internal |
| isMaskedUninterruptible | Test.DejaFu.SCT.Internal |
| isSTMSuccess | Test.DejaFu.STM.Internal |
| isUncaughtException | Test.DejaFu.Common, Test.DejaFu |
| 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 |
| schedBState | 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 | |
| 1 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| scheduleThread | 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 |
| ThreadDelay | 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 |
| threadNames | Test.DejaFu.Common |
| 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 |
| tvarsRead | Test.DejaFu.Common |
| tvarsWritten | 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 |
| WillThreadDelay | 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 |