| :| | Test.DejaFu.Deterministic |
| AAllKnown | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AAtom | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| Abort | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| abortsAlways | Test.DejaFu |
| abortsNever | Test.DejaFu |
| abortsSometimes | Test.DejaFu |
| ACasRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ACatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ACommit | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| Action | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ActionType | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| addCommitThreads | Test.DejaFu.Deterministic.Internal.Memory |
| AForgets | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AFork | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AGetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AKnowsAbout | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ALift | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AllKnown | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| alwaysSame | Test.DejaFu |
| alwaysTrue | Test.DejaFu |
| alwaysTrue2 | Test.DejaFu |
| AMasking | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AMessage | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AModRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AModRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AMyTId | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ANewRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ANewVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| APeekTicket | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| APopCatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| APutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AReadRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AReadRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AReadVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AResetMask | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AReturn | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ASetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AStop | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ATakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AThrow | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AThrowTo | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| atomically | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| atomicModifyCRef | Control.Monad.Conc.Class, Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| atomicModifyCRef' | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| atomicWriteCRef | Control.Monad.Conc.Class, Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| ATryPutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| ATryTakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| autocheck | Test.DejaFu |
| autocheck' | Test.DejaFu |
| autocheckIO | Test.DejaFu |
| autocheckIO' | Test.DejaFu |
| AWriteRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| AYield | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 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.Deterministic.Internal.Threading |
| BlockedOn | Test.DejaFu.Deterministic.Internal.Threading |
| BlockedPutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| BlockedReadVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| BlockedSTM | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| BlockedTakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| BlockedThrowTo | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 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.Deterministic.Internal.Memory |
| BufferedWrite | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Memory |
| bufferWrite | Test.DejaFu.Deterministic.Internal.Memory |
| cas | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| casCRef | |
| 1 (Function) | Test.DejaFu.Deterministic.Internal.Memory |
| 2 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| CasRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| catch | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Catching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| catching | Test.DejaFu.Deterministic.Internal.Threading |
| catchSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Chan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| check | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| cloneTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| CommitRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| commitWrite | Test.DejaFu.Deterministic.Internal.Memory |
| Conc | Test.DejaFu.Deterministic |
| ConcIO | Test.DejaFu.Deterministic |
| ConcST | Test.DejaFu.Deterministic |
| cont | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| Continue | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| CRef | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 3 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| CRefId | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| crefOf | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| cvarOf | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| Deadlock | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| decisionOf | Test.DejaFu.Deterministic |
| 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.Deterministic.Internal.Memory |
| doTransaction | Test.DejaFu.STM.Internal |
| dupChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| dupTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| emptyBuffer | Test.DejaFu.Deterministic.Internal.Memory |
| except | Test.DejaFu.Deterministic.Internal.Threading |
| Exception | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| exceptionsAlways | Test.DejaFu |
| exceptionsNever | Test.DejaFu |
| exceptionsSometimes | Test.DejaFu |
| Failure | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, 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 |
| Fixed | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Type/Class) | Test.DejaFu.STM.Internal |
| Forgets | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| forgets | Test.DejaFu.Deterministic.Internal.Threading |
| Fork | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| fork | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkFinally | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOn | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOnWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| fullknown | Test.DejaFu.Deterministic.Internal.Threading |
| GetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| getNumCapabilities | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| gives | Test.DejaFu |
| gives' | Test.DejaFu |
| goto | Test.DejaFu.Deterministic.Internal.Threading |
| Handler | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Threading |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Threading |
| Id | Test.DejaFu.Deterministic.Internal.Common |
| IdSource | Test.DejaFu.Deterministic.Internal.Common |
| initialIdSource | Test.DejaFu.Deterministic.Internal.Common |
| initialThread | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| InternalError | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| interruptible | Test.DejaFu.Deterministic.Internal.Threading |
| isBarrier | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isBlock | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isCommit | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isCurrentThreadBound | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| isEmptyMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| isEmptyTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isFullTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isLocked | Test.DejaFu.Deterministic.Internal.Threading |
| kill | Test.DejaFu.Deterministic.Internal.Threading |
| Killed | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| killThread | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| knows | Test.DejaFu.Deterministic.Internal.Threading |
| KnowsAbout | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| launch | Test.DejaFu.Deterministic.Internal.Threading |
| launch' | Test.DejaFu.Deterministic.Internal.Threading |
| LengthBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| Lift | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| liftedF | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| liftedFork | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| liftedOrElse | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| liftN | Test.DejaFu.Internal |
| lineNum | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Lookahead | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| lookahead | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| M | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 3 (Type/Class) | Test.DejaFu.STM.Internal |
| makeNonPreemptive | Test.DejaFu.Deterministic |
| makeTransConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| makeTransSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| mask | |
| 1 (Function) | Test.DejaFu.Deterministic.Internal.Threading |
| 2 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| MaskedInterruptible | Test.DejaFu.Deterministic |
| MaskedUninterruptible | Test.DejaFu.Deterministic |
| MaskingState | Test.DejaFu.Deterministic |
| MemType | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| Message | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| mkthread | Test.DejaFu.Deterministic.Internal.Threading |
| modifyCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyCRef' | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyCRefCAS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| modifyCRefCAS_ | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| modifyMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| modifyMVarMasked | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| modifyMVarMasked_ | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| modifyMVar_ | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| modifyTVar | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| modifyTVar' | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| ModRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| ModRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| MonadConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| MonadSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| mutMVar | Test.DejaFu.Deterministic.Internal.Memory |
| MVar | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 3 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| MVarId | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| MyThreadId | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| myThreadId | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| newBroadcastTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| newCRef | Control.Monad.Conc.Class, Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| newCRefN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| newEmptyMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| newEmptyMVarN | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| newEmptyTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newEmptyTMVarN | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| newMVarN | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| newQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| newQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| NewRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| newRef | Test.DejaFu.Internal |
| newTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTMVarN | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTVarN | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| NewVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| nextCRId | Test.DejaFu.Deterministic.Internal.Common |
| nextCVId | Test.DejaFu.Deterministic.Internal.Common |
| nextTId | Test.DejaFu.Deterministic.Internal.Common |
| nextTVId | Test.DejaFu.Deterministic.Internal.Common |
| noBounds | Test.DejaFu.SCT, Test.DejaFu |
| NonEmpty | Test.DejaFu.Deterministic |
| notAlwaysSame | Test.DejaFu |
| OnMask | Test.DejaFu.Deterministic.Internal.Threading |
| OnMVarEmpty | Test.DejaFu.Deterministic.Internal.Threading |
| OnMVarFull | Test.DejaFu.Deterministic.Internal.Threading |
| OnTVar | Test.DejaFu.Deterministic.Internal.Threading |
| orElse | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PartiallySynchronisedCommit | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartiallySynchronisedModify | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartiallySynchronisedWrite | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PartialStoreOrder | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| pBacktrack | Test.DejaFu.SCT |
| pBound | Test.DejaFu.SCT |
| peekTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| peekTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PeekTicket | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| peekTicket | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PopCatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| Predicate | Test.DejaFu |
| preEmpCount | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| PreemptionBound | |
| 1 (Data Constructor) | Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.SCT, Test.DejaFu |
| propagate | Test.DejaFu.Deterministic.Internal.Threading |
| putIntoMVar | Test.DejaFu.Deterministic.Internal.Memory |
| putMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| putTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| QSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| QSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| randomSched | Test.DejaFu.Deterministic |
| randomSchedNP | Test.DejaFu.Deterministic |
| readChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| readCRef | |
| 1 (Function) | Test.DejaFu.Deterministic.Internal.Memory |
| 2 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| readCRefPrim | Test.DejaFu.Deterministic.Internal.Memory |
| readForCAS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| readForTicket | Test.DejaFu.Deterministic.Internal.Memory |
| readFromMVar | Test.DejaFu.Deterministic.Internal.Memory |
| readMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| ReadRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| readRef | Test.DejaFu.Internal |
| ReadRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| readTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTVarConc | Control.Monad.Conc.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| ReadVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| Ref | |
| 1 (Type/Class) | Test.DejaFu.Internal |
| 2 (Data Constructor) | Test.DejaFu.Internal |
| refIO | Test.DejaFu.Internal |
| refST | Test.DejaFu.Internal |
| registerDelay | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 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 |
| retry | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Return | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| roundRobinSched | Test.DejaFu.Deterministic |
| roundRobinSchedNP | Test.DejaFu.Deterministic |
| rtsSupportsBoundThreads | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| runConcIO | Test.DejaFu.Deterministic |
| runConcST | Test.DejaFu.Deterministic |
| runCont | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| runFixed | Test.DejaFu.Deterministic.Internal |
| runFixed' | Test.DejaFu.Deterministic.Internal |
| runM | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| runTest | Test.DejaFu |
| runTest' | Test.DejaFu |
| runTestIO | Test.DejaFu |
| runTestIO' | Test.DejaFu |
| runTransactionIO | Test.DejaFu.STM |
| runTransactionST | Test.DejaFu.STM |
| SCatch | Test.DejaFu.STM.Internal |
| Scheduler | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| sctBound | Test.DejaFu.SCT |
| sctBounded | Test.DejaFu.SCT |
| sctBoundedIO | Test.DejaFu.SCT |
| sctBoundIO | Test.DejaFu.SCT |
| sctFairBound | Test.DejaFu.SCT |
| sctFairBoundIO | Test.DejaFu.SCT |
| sctLengthBound | Test.DejaFu.SCT |
| sctLengthBoundIO | Test.DejaFu.SCT |
| sctPreBound | Test.DejaFu.SCT |
| sctPreBoundIO | Test.DejaFu.SCT |
| seeMVar | Test.DejaFu.Deterministic.Internal.Memory |
| SequentialConsistency | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| SetMasking | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| SetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| setNumCapabilities | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| showFail | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| showTrace | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| signalQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| signalQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| simplify | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| simplify' | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| SLift | Test.DejaFu.STM.Internal |
| SNew | Test.DejaFu.STM.Internal |
| somewhereTrue | Test.DejaFu |
| SOrElse | Test.DejaFu.STM.Internal |
| spawn | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| SRead | Test.DejaFu.STM.Internal |
| SRetry | Test.DejaFu.STM.Internal |
| SStop | Test.DejaFu.STM.Internal |
| Start | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| stepTrans | Test.DejaFu.STM.Internal |
| SThrow | Test.DejaFu.STM.Internal |
| STM | |
| 1 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 2 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| STMAction | Test.DejaFu.STM.Internal |
| STMDeadlock | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| STMIO | Test.DejaFu.STM |
| STMLike | Test.DejaFu.STM |
| STMST | Test.DejaFu.STM |
| Stop | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
| swapMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| swapTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| swapTVar | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| SwitchTo | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| SWrite | Test.DejaFu.STM.Internal |
| SynchronisedModify | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| SynchronisedOther | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| SynchronisedRead | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| SynchronisedWrite | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| synchronises | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| TAction | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| takeFromMVar | Test.DejaFu.Deterministic.Internal.Memory |
| takeMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| takeTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| TArray | Control.Concurrent.Classy.STM.TArray, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TCatch | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Thread | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Threading |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Threading |
| ThreadAction | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| threadDelay | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| ThreadId | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| 3 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Threads | Test.DejaFu.Deterministic.Internal.Threading |
| Throw | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| throw | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| throwSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| ThrowTo | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| throwTo | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Ticket | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| 3 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| tidOf | Test.DejaFu.Deterministic |
| TLift | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TNew | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TOrElse | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TotalStoreOrder | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| TQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Trace | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| TRead | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TRetry | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| tryPeekTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryPeekTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryPeekTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryPutIntoMVar | Test.DejaFu.Deterministic.Internal.Memory |
| tryPutMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| tryPutTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TryPutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| tryReadTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryReadTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryReadTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryReadTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| tryTakeFromMVar | Test.DejaFu.Deterministic.Internal.Memory |
| tryTakeMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| tryTakeTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TryTakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| TStop | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TThrow | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TTrace | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| TVar | |
| 1 (Type/Class) | Test.DejaFu.STM.Internal |
| 2 (Data Constructor) | Test.DejaFu.STM.Internal |
| 3 (Type/Class) | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TVarId | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Common |
| TWrite | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.STM |
| uncatching | Test.DejaFu.Deterministic.Internal.Threading |
| UncaughtException | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| unGetTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| unGetTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| unGetTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| uninterruptibleMask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Unmasked | Test.DejaFu.Deterministic |
| UnsynchronisedOther | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| UnsynchronisedRead | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| UnsynchronisedWrite | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| waitQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| waitQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| wake | Test.DejaFu.Deterministic.Internal.Threading |
| WillAllKnown | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillCasRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillCatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillCommitRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillForgets | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillFork | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillGetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillKnowsAbout | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillLift | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillMessage | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillModRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillModRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillMyThreadId | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillNewRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillNewVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillPeekTicket | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillPopCatching | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillPutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillReadRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillReadRefCas | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillReadVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| willRelease | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| WillResetMasking | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillReturn | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillSetMasking | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillSetNumCapabilities | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillSTM | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillStop | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillTakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillThrow | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillThrowTo | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillTryPutVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillTryTakeVar | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillWriteRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| WillYield | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| withMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| withMVarMasked | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| writeBarrier | Test.DejaFu.Deterministic.Internal.Memory |
| WriteBuffer | |
| 1 (Type/Class) | Test.DejaFu.Deterministic.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Deterministic.Internal.Memory |
| writeChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| writeCRef | Control.Monad.Conc.Class, Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| writeImmediate | Test.DejaFu.Deterministic.Internal.Memory |
| writeList2Chan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| WriteRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| writeRef | Test.DejaFu.Internal |
| writeTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| writeTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| writeTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| writeTVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Yield | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| yield | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _blocking | Test.DejaFu.Deterministic.Internal.Threading |
| _casesChecked | Test.DejaFu |
| _concAllKnown | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _concForgets | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _concKnowsAbout | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _concMessage | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _continuation | Test.DejaFu.Deterministic.Internal.Threading |
| _crefId | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _crefVal | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _cvarId | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _cvarVal | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _failureMsg | Test.DejaFu |
| _failures | Test.DejaFu |
| _fullknown | Test.DejaFu.Deterministic.Internal.Threading |
| _handlers | Test.DejaFu.Deterministic.Internal.Threading |
| _known | Test.DejaFu.Deterministic.Internal.Threading |
| _masking | Test.DejaFu.Deterministic.Internal.Threading |
| _nextCRId | Test.DejaFu.Deterministic.Internal.Common |
| _nextCVId | Test.DejaFu.Deterministic.Internal.Common |
| _nextTId | Test.DejaFu.Deterministic.Internal.Common |
| _nextTVId | Test.DejaFu.Deterministic.Internal.Common |
| _pass | Test.DejaFu |
| _ticketCRef | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _ticketVal | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _ticketWrites | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| _usedCRNames | Test.DejaFu.Deterministic.Internal.Common |
| _usedCVNames | Test.DejaFu.Deterministic.Internal.Common |
| _usedTNames | Test.DejaFu.Deterministic.Internal.Common |
| _usedTVNames | Test.DejaFu.Deterministic.Internal.Common |
| ~= | Test.DejaFu.Deterministic.Internal.Threading |