| ->- | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| === | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| =>= | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| AAtom | Test.DejaFu.Conc.Internal.Common |
| Abort | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| abortsAlways | Test.DejaFu |
| abortsNever | Test.DejaFu |
| abortsSometimes | Test.DejaFu |
| ACasIORef | Test.DejaFu.Conc.Internal.Common |
| ACatching | Test.DejaFu.Conc.Internal.Common |
| ACommit | Test.DejaFu.Conc.Internal.Common |
| acquire | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| acquireRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| acquireWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| Action | Test.DejaFu.Conc.Internal.Common |
| ActionType | Test.DejaFu.Internal |
| addCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| ADelay | Test.DejaFu.Conc.Internal.Common |
| AFork | Test.DejaFu.Conc.Internal.Common |
| AForkOS | Test.DejaFu.Conc.Internal.Common |
| AGetMasking | Test.DejaFu.Conc.Internal.Common |
| AGetNumCapabilities | Test.DejaFu.Conc.Internal.Common |
| AIsBound | Test.DejaFu.Conc.Internal.Common |
| ALift | Test.DejaFu.Conc.Internal.Common |
| alwaysNothing | Test.DejaFu |
| alwaysSame | Test.DejaFu |
| alwaysSameBy | Test.DejaFu |
| alwaysSameOn | Test.DejaFu |
| alwaysTrue | Test.DejaFu |
| AMasking | Test.DejaFu.Conc.Internal.Common |
| AModIORef | Test.DejaFu.Conc.Internal.Common |
| AModIORefCas | Test.DejaFu.Conc.Internal.Common |
| AMyTId | Test.DejaFu.Conc.Internal.Common |
| ANewInvariant | Test.DejaFu.Conc.Internal.Common |
| ANewIORef | Test.DejaFu.Conc.Internal.Common |
| ANewMVar | Test.DejaFu.Conc.Internal.Common |
| APopCatching | Test.DejaFu.Conc.Internal.Common |
| APutMVar | Test.DejaFu.Conc.Internal.Common |
| AReadIORef | Test.DejaFu.Conc.Internal.Common |
| AReadIORefCas | 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 |
| ASupportsBoundThreads | Test.DejaFu.Conc.Internal.Common |
| Async | Control.Concurrent.Classy.Async |
| async | Control.Concurrent.Classy.Async |
| asyncBound | Control.Concurrent.Classy.Async |
| asyncBoundN | Control.Concurrent.Classy.Async |
| asyncN | Control.Concurrent.Classy.Async |
| asyncOn | Control.Concurrent.Classy.Async |
| asyncOnN | Control.Concurrent.Classy.Async |
| asyncOnWithUnmask | Control.Concurrent.Classy.Async |
| asyncOnWithUnmaskN | Control.Concurrent.Classy.Async |
| asyncThreadId | Control.Concurrent.Classy.Async |
| asyncWithUnmask | Control.Concurrent.Classy.Async |
| asyncWithUnmaskN | Control.Concurrent.Classy.Async |
| ATakeMVar | Test.DejaFu.Conc.Internal.Common |
| AThrow | Test.DejaFu.Conc.Internal.Common |
| AThrowTo | Test.DejaFu.Conc.Internal.Common |
| atomically | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| atomicModifyCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| atomicModifyCRef' | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| atomicModifyIORef | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| atomicModifyIORef' | Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| atomicWriteCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| atomicWriteIORef | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| ATryPutMVar | Test.DejaFu.Conc.Internal.Common |
| ATryReadMVar | Test.DejaFu.Conc.Internal.Common |
| ATryTakeMVar | Test.DejaFu.Conc.Internal.Common |
| autocheck | Test.DejaFu |
| autocheckWay | Test.DejaFu |
| autocheckWithSettings | Test.DejaFu |
| AWriteIORef | Test.DejaFu.Conc.Internal.Common |
| AYield | Test.DejaFu.Conc.Internal.Common |
| backtrackAt | Test.DejaFu.SCT.Internal.DPOR |
| BacktrackFunc | Test.DejaFu.SCT.Internal.DPOR |
| BacktrackStep | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| Basic | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| bcktAction | Test.DejaFu.SCT.Internal.DPOR |
| bcktBacktracks | Test.DejaFu.SCT.Internal.DPOR |
| bcktDecision | Test.DejaFu.SCT.Internal.DPOR |
| bcktRunnable | Test.DejaFu.SCT.Internal.DPOR |
| bcktState | Test.DejaFu.SCT.Internal.DPOR |
| bcktThreadid | Test.DejaFu.SCT.Internal.DPOR |
| block | Test.DejaFu.Conc.Internal.Threading |
| BlockedOn | Test.DejaFu.Conc.Internal.Threading |
| BlockedPutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| BlockedReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| BlockedSTM | Test.DejaFu.Types, Test.DejaFu.Conc |
| BlockedTakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| BlockedThrowTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| Blocking | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| BoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| boundFair | |
| 1 (Function) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| boundPreemp | |
| 1 (Function) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Bounds | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Data Constructor) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.HUnit.DejaFu |
| 5 (Data Constructor) | Test.Tasty.DejaFu |
| 6 (Type/Class) | Test.Tasty.DejaFu |
| BoundThread | Test.DejaFu.Types |
| buffer | Test.DejaFu.Conc.Internal.Memory |
| BufferedWrite | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| bufferWrite | Test.DejaFu.Conc.Internal.Memory |
| cancel | Control.Concurrent.Classy.Async |
| cancelWith | Control.Concurrent.Classy.Async |
| canInterrupt | Test.DejaFu.Types |
| canInterruptL | Test.DejaFu.Types |
| cas | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| casCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| CasIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| casIORef | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Conc.Internal.Memory |
| catch | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Catching | Test.DejaFu.Types, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| catchSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| cCaps | Test.DejaFu.Conc.Internal |
| cCState | Test.DejaFu.Conc.Internal |
| Chan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| check | |
| 1 (Function) | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| check' | Test.DejaFu.Refinement, Test.DejaFu |
| checkFor | Test.DejaFu.Refinement, Test.DejaFu |
| checkInvariant | Test.DejaFu.Conc.Internal |
| checkInvariants | Test.DejaFu.Conc.Internal |
| cIdSource | Test.DejaFu.Conc.Internal |
| cInvariants | Test.DejaFu.Conc.Internal |
| cloneTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| cNewInvariants | Test.DejaFu.Conc.Internal |
| CommitIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| commitThreadId | Test.DejaFu.Conc.Internal.Memory |
| commitWrite | Test.DejaFu.Conc.Internal.Memory |
| ConcIO | |
| 1 (Type/Class) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| concIOState | Test.DejaFu.Types |
| concMaskState | Test.DejaFu.Types |
| concMVState | Test.DejaFu.Types |
| ConcT | |
| 1 (Type/Class) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| ConcurrencyState | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| Concurrently | |
| 1 (Data Constructor) | Control.Concurrent.Classy.Async |
| 2 (Type/Class) | Control.Concurrent.Classy.Async |
| concurrently | Control.Concurrent.Classy.Async |
| concurrently_ | Control.Concurrent.Classy.Async |
| Condition | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| Context | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal |
| contextFromSnapshot | Test.DejaFu.Conc.Internal.Program |
| Continue | Test.DejaFu.Types, Test.DejaFu.Conc |
| CounterExample | Test.DejaFu.Refinement, Test.DejaFu |
| counterExamples | Test.DejaFu.Refinement, Test.DejaFu |
| CRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| CResult | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal |
| cSchedState | Test.DejaFu.Conc.Internal |
| cThreads | Test.DejaFu.Conc.Internal |
| cWriteBuf | Test.DejaFu.Conc.Internal |
| Deadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Types, Test.DejaFu.Conc |
| decisionOf | Test.DejaFu.Utils |
| defaultBounds | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultFairBound | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultMemType | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultPreemptionBound | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultRecordSnapshot | Test.DejaFu.Conc.Internal.Program |
| defaultSettings | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultWay | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| dejafu | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafusWay | Test.DejaFu |
| dejafusWithSettings | Test.DejaFu |
| dejafuWay | Test.DejaFu |
| dejafuWithSettings | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| dependent | Test.DejaFu.SCT.Internal.DPOR |
| dependent' | Test.DejaFu.SCT.Internal.DPOR |
| dependentActions | Test.DejaFu.SCT.Internal.DPOR |
| didYield | Test.DejaFu.SCT.Internal.DPOR |
| Discard | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| DiscardResultAndTrace | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| DiscardTrace | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| doInvariant | Test.DejaFu.Conc.Internal |
| doTransaction | Test.DejaFu.Conc.Internal.STM |
| DPOR | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| dporDone | Test.DejaFu.SCT.Internal.DPOR |
| dporNext | Test.DejaFu.SCT.Internal.DPOR |
| dporRunnable | Test.DejaFu.SCT.Internal.DPOR |
| dporSched | Test.DejaFu.SCT.Internal.DPOR |
| DPORSchedState | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| dporSleep | Test.DejaFu.SCT.Internal.DPOR |
| dporTaken | Test.DejaFu.SCT.Internal.DPOR |
| dporTodo | Test.DejaFu.SCT.Internal.DPOR |
| dropCommits | Test.DejaFu.SCT.Internal |
| dupChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| dupTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| eadjust | Test.DejaFu.Internal |
| efromJust | Test.DejaFu.Internal |
| efromLeft | Test.DejaFu.Internal |
| efromList | Test.DejaFu.Internal |
| efromRight | Test.DejaFu.Internal |
| eidx | Test.DejaFu.Internal |
| einsert | Test.DejaFu.Internal |
| elookup | Test.DejaFu.Internal |
| emptyBuffer | Test.DejaFu.Conc.Internal.Memory |
| Emptying | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| equivalentTo | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Error | Test.DejaFu.Types |
| etail | Test.DejaFu.Internal |
| except | Test.DejaFu.Conc.Internal.Threading |
| Exception | Test.DejaFu.Conc.Internal.STM |
| exceptionsAlways | Test.DejaFu |
| exceptionsNever | Test.DejaFu |
| exceptionsSometimes | Test.DejaFu |
| expectFailure | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| expression | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Failed | Test.DejaFu.Conc.Internal |
| FailedProperty | Test.DejaFu.Refinement, Test.DejaFu |
| failingArgs | Test.DejaFu.Refinement, Test.DejaFu |
| failingSeed | Test.DejaFu.Refinement, Test.DejaFu |
| FairBound | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Data Constructor) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.HUnit.DejaFu |
| 5 (Data Constructor) | Test.Tasty.DejaFu |
| 6 (Type/Class) | Test.Tasty.DejaFu |
| fatal | Test.DejaFu.Internal |
| finalContext | Test.DejaFu.Conc.Internal |
| finalDecision | Test.DejaFu.Conc.Internal |
| finalRef | Test.DejaFu.Conc.Internal |
| finalRestore | Test.DejaFu.Conc.Internal |
| finalTrace | Test.DejaFu.Conc.Internal |
| findBacktrackSteps | Test.DejaFu.SCT.Internal.DPOR |
| findSchedulePrefix | Test.DejaFu.SCT.Internal.DPOR |
| fixContext | Test.DejaFu.Conc.Internal |
| flushTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| flushTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| forConcurrently | Control.Concurrent.Classy.Async |
| forConcurrently_ | Control.Concurrent.Classy.Async |
| Fork | Test.DejaFu.Types, Test.DejaFu.Conc |
| fork | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkBoundThread | Test.DejaFu.Types |
| 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 |
| ForkOS | Test.DejaFu.Types, Test.DejaFu.Conc |
| forkOS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOSN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOSWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkOSWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| forkWithUnmaskN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| fromId | Test.DejaFu.SCT.Internal |
| fromIsConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| fromIsSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| fromSnapContext | Test.DejaFu.Conc.Internal.Program |
| fromWayAndMemType | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| get | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| GetMaskingState | Test.DejaFu.Types, Test.DejaFu.Conc |
| getMaskingState | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| GetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| getNumCapabilities | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| getStrongDiscarder | Test.DejaFu.Types |
| getWeakDiscarder | Test.DejaFu.Types |
| gives | Test.DejaFu |
| gives' | Test.DejaFu |
| goto | Test.DejaFu.Conc.Internal.Threading |
| Handler | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
| IAction | Test.DejaFu.Conc.Internal.Common |
| icActive | Test.DejaFu.Conc.Internal |
| ICatch | Test.DejaFu.Conc.Internal.Common |
| icBlocked | Test.DejaFu.Conc.Internal |
| Id | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| IdSource | |
| 1 (Data Constructor) | Test.DejaFu.Internal |
| 2 (Type/Class) | Test.DejaFu.Internal |
| IInspectIORef | Test.DejaFu.Conc.Internal.Common |
| IInspectMVar | Test.DejaFu.Conc.Internal.Common |
| IInspectTVar | Test.DejaFu.Conc.Internal.Common |
| incorporateBacktrackSteps | Test.DejaFu.SCT.Internal.DPOR |
| incorporateTrace | Test.DejaFu.SCT.Internal.DPOR |
| IncrementalBoundFunc | Test.DejaFu.SCT.Internal.DPOR |
| independent | Test.DejaFu.SCT.Internal.DPOR |
| initialCState | Test.DejaFu.Internal |
| initialDPORSchedState | Test.DejaFu.SCT.Internal.DPOR |
| initialIdSource | Test.DejaFu.Internal |
| initialise | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal.Weighted |
| initialState | Test.DejaFu.SCT.Internal.DPOR |
| initialThread | Test.DejaFu.Types |
| inspectIORef | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| inspectMVar | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| inspectTVar | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| interfere | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| interruptible | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Conc.Internal.Threading |
| Invariant | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| InvariantContext | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal |
| InvariantFailure | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IOBoundThread | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| iobtKillBoundThread | Test.DejaFu.Types |
| iobtRunInBoundThread | Test.DejaFu.Types |
| IORef | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| IORefId | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| iorefId | Test.DejaFu.Conc.Internal.Common |
| iorefOf | Test.DejaFu.Internal |
| iorefRef | Test.DejaFu.Conc.Internal.Common |
| isAbort | Test.DejaFu.Types, Test.DejaFu |
| isBarrier | Test.DejaFu.Internal |
| isBlock | Test.DejaFu.Internal |
| isBuffered | Test.DejaFu.Types |
| isCommit | Test.DejaFu.Internal |
| IsConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isCurrentThreadBound | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isEmptyBoundedChan | Control.Concurrent.Classy.BoundedChan, 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 |
| isFull | Test.DejaFu.Types |
| isFullTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isInvariantFailure | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.Types |
| isMaskedUninterruptible | Test.DejaFu.Types |
| isSchedulerError | Test.DejaFu.Types |
| IsSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| IStop | Test.DejaFu.Conc.Internal.Common |
| isUncaughtException | Test.DejaFu.Types, Test.DejaFu |
| IThrow | Test.DejaFu.Conc.Internal.Common |
| kill | Test.DejaFu.Conc.Internal.Threading |
| killAllThreads | Test.DejaFu.Conc.Internal |
| killBoundThread | Test.DejaFu.Types |
| killsDaemons | Test.DejaFu.SCT.Internal.DPOR |
| killThread | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| launch | Test.DejaFu.Conc.Internal.Threading |
| launch' | Test.DejaFu.Conc.Internal.Threading |
| ldebugFatal | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| ldebugPrint | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| ldebugShow | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| ldiscard | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| learlyExit | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| leftResults | Test.DejaFu.Refinement, Test.DejaFu |
| LengthBound | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Data Constructor) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.HUnit.DejaFu |
| 5 (Data Constructor) | Test.Tasty.DejaFu |
| 6 (Type/Class) | Test.Tasty.DejaFu |
| lengthTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| lequality | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| lexicoNormalForm | Test.DejaFu.SCT.Internal |
| liftedF | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| liftedFork | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| LiftIO | Test.DejaFu.Types, Test.DejaFu.Conc |
| link | Control.Concurrent.Classy.Async |
| link2 | Control.Concurrent.Classy.Async |
| list | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Listable | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| llengthBound | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| lmemtype | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Lock | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| locked | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| Lookahead | Test.DejaFu.Types, Test.DejaFu.Conc |
| lookahead | Test.DejaFu.Conc.Internal.Common |
| lsafeIO | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| lshowAborts | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| lsimplify | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| lway | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| makeBound | Test.DejaFu.Conc.Internal.Threading |
| makeNonPreemptive | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| mapConcurrently | Control.Concurrent.Classy.Async |
| mapConcurrently_ | Control.Concurrent.Classy.Async |
| mask | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Conc.Internal.Threading |
| MaskedInterruptible | Test.DejaFu.Conc |
| MaskedUninterruptible | Test.DejaFu.Conc |
| MaskingState | Test.DejaFu.Conc |
| mask_ | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| MemType | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| mkthread | Test.DejaFu.Conc.Internal.Threading |
| ModelConc | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| ModelIORef | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| ModelMVar | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| ModelSTM | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| ModelTicket | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| ModelTVar | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| modifyCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyCRef' | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyCRefCAS | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyCRefCAS_ | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| modifyIORef | Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| modifyIORef' | Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| modifyIORefCAS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| modifyIORefCAS_ | 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 |
| ModIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| ModIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| MonadConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| MonadDejaFu | Test.DejaFu.Types |
| MonadFailException | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| MonadSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| mutMVar | Test.DejaFu.Conc.Internal.Memory |
| MVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy, Control.Concurrent.Classy |
| MVarId | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| mvarId | Test.DejaFu.Conc.Internal.Common |
| mvarOf | Test.DejaFu.Internal |
| mvarRef | Test.DejaFu.Conc.Internal.Common |
| MyThreadId | Test.DejaFu.Types, Test.DejaFu.Conc |
| myThreadId | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| newAcquired | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| newAcquiredRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| newAcquiredWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| newBoundedChan | Control.Concurrent.Classy.BoundedChan, 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.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| newCRefN | Control.Concurrent.Classy.CRef, 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 |
| NewIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| newIORef | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| newIORefN | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| newLock | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| NewMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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.Types |
| newRWLock | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| 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 |
| newTSem | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| newTVarConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| newTVarN | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| nextId | Test.DejaFu.Internal |
| nextIORId | Test.DejaFu.Internal |
| nextMVId | Test.DejaFu.Internal |
| nextTId | Test.DejaFu.Internal |
| nextTVId | Test.DejaFu.Internal |
| noBounds | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| NoExpectedFailure | Test.DejaFu.Refinement, Test.DejaFu |
| NonBlocking | Test.DejaFu.Conc.Internal.Memory |
| NonEmptying | Test.DejaFu.Conc.Internal.Memory |
| notAlwaysSame | Test.DejaFu |
| notAlwaysSameBy | Test.DejaFu |
| notAlwaysSameOn | Test.DejaFu |
| numBuffered | Test.DejaFu.Types |
| O | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| observe | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.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 |
| orElse | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| PartiallySynchronisedCommit | Test.DejaFu.Internal |
| PartiallySynchronisedModify | Test.DejaFu.Internal |
| PartiallySynchronisedWrite | Test.DejaFu.Internal |
| PartialStoreOrder | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| pdiscard | |
| 1 (Function) | Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| 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 | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTicket' | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| peekTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| permuteBy | Test.DejaFu.SCT.Internal |
| peval | |
| 1 (Function) | Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| poll | Control.Concurrent.Classy.Async |
| pollSTM | Control.Concurrent.Classy.Async |
| PopCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| Predicate | |
| 1 (Type/Class) | Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| PreemptionBound | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Data Constructor) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.HUnit.DejaFu |
| 5 (Data Constructor) | Test.Tasty.DejaFu |
| 6 (Type/Class) | Test.Tasty.DejaFu |
| Program | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| ProPredicate | |
| 1 (Data Constructor) | Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Data Constructor) | Test.HUnit.DejaFu |
| 5 (Type/Class) | Test.Tasty.DejaFu |
| 6 (Data Constructor) | Test.Tasty.DejaFu |
| pullBack | Test.DejaFu.SCT.Internal |
| pushForward | Test.DejaFu.SCT.Internal |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 |
| QSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| QSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| race | Control.Concurrent.Classy.Async |
| race_ | Control.Concurrent.Classy.Async |
| Randomly | Test.DejaFu.Internal |
| randomly | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randSched | Test.DejaFu.SCT.Internal.Weighted |
| RandSchedState | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.Weighted |
| 2 (Type/Class) | Test.DejaFu.SCT.Internal.Weighted |
| readBoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| readChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| readCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| readForCAS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORef | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Conc.Internal.Memory |
| ReadIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORefGlobal | Test.DejaFu.Conc.Internal.Memory |
| readIORefPrim | Test.DejaFu.Conc.Internal.Memory |
| ReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| readMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| readRef | Test.DejaFu.Types |
| 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 |
| recordSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| Ref | Test.DejaFu.Types |
| RefinementProperty | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| refines | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| registerDelay | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| RegisterInvariant | Test.DejaFu.Types, Test.DejaFu.Conc |
| registerInvariant | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| release | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| releaseRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| releaseWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| renumber | Test.DejaFu.SCT.Internal |
| replay | Test.DejaFu.SCT.Internal |
| replicateConcurrently | Control.Concurrent.Classy.Async |
| replicateConcurrently_ | Control.Concurrent.Classy.Async |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| Result | |
| 1 (Data Constructor) | Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu |
| 3 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| resultsSet | Test.DejaFu.SCT |
| resultsSet' | Test.DejaFu.SCT |
| resultsSetWithSettings | Test.DejaFu.SCT |
| resultsSetWithSettings' | Test.DejaFu.SCT |
| Retry | Test.DejaFu.Conc.Internal.STM |
| retry | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Return | Test.DejaFu.Types, Test.DejaFu.Conc |
| rewind | Test.DejaFu.Internal |
| rightResults | Test.DejaFu.Refinement, Test.DejaFu |
| roundRobinSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| roundRobinSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| rtsSupportsBoundThreads | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| runConcurrency | Test.DejaFu.Conc.Internal |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runConcurrently | Control.Concurrent.Classy.Async |
| runInBoundThread | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Types |
| runInUnboundThread | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| runInvariant | Test.DejaFu.Conc.Internal.Common |
| runLiftedAct | Test.DejaFu.Conc.Internal.Threading |
| runModelConc | Test.DejaFu.Conc.Internal.Common |
| runModelSTM | Test.DejaFu.Conc.Internal.STM |
| runRefCont | Test.DejaFu.Internal |
| runSCT | Test.DejaFu.SCT |
| runSCT' | Test.DejaFu.SCT |
| runSCTWithSettings | Test.DejaFu.SCT |
| runSCTWithSettings' | Test.DejaFu.SCT |
| runSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runTest | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runTestWithSettings | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.Conc.Internal.STM |
| RWLock | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| SCatch | Test.DejaFu.Conc.Internal.STM |
| schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
| schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
| schedBState | Test.DejaFu.SCT.Internal.DPOR |
| schedCState | Test.DejaFu.SCT.Internal.DPOR |
| schedGen | Test.DejaFu.SCT.Internal.Weighted |
| schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
| schedLengthBound | Test.DejaFu.SCT.Internal.Weighted |
| schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
| schedSleep | Test.DejaFu.SCT.Internal.DPOR |
| ScheduledBlockedThread | Test.DejaFu.Types |
| ScheduledMissingThread | Test.DejaFu.Types |
| Scheduler | |
| 1 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| 2 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| scheduleThread | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| schedWeights | Test.DejaFu.SCT.Internal.Weighted |
| sct | Test.DejaFu.SCT.Internal |
| sct' | Test.DejaFu.SCT.Internal |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| set | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| setNumCapabilities | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Settings | |
| 1 (Data Constructor) | Test.DejaFu.Internal |
| 2 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| showCondition | Test.DejaFu.Utils, Test.DejaFu.Conc |
| showTrace | Test.DejaFu.Utils, Test.DejaFu.Conc |
| Sig | |
| 1 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Data Constructor) | Test.HUnit.DejaFu |
| 5 (Type/Class) | Test.Tasty.DejaFu |
| 6 (Data Constructor) | Test.Tasty.DejaFu |
| signalQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| signalQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| signalTSem | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| signalTSemN | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| simpleRunConcurrency | Test.DejaFu.Conc.Internal.Program |
| SimpleSnapshot | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Program |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Program |
| simplestsBy | Test.DejaFu.Utils |
| simplify | Test.DejaFu.SCT.Internal |
| simplifyAction | Test.DejaFu.Internal |
| simplifyExecution | Test.DejaFu.SCT.Internal |
| simplifyLookahead | Test.DejaFu.Internal |
| snapContext | Test.DejaFu.Conc.Internal.Program |
| snapNext | Test.DejaFu.Conc.Internal.Program |
| snapRestore | Test.DejaFu.Conc.Internal.Program |
| Snapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| SNew | Test.DejaFu.Conc.Internal.STM |
| somewhereNothing | Test.DejaFu |
| somewhereTrue | Test.DejaFu |
| SOrElse | Test.DejaFu.Conc.Internal.STM |
| spawn | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| SRead | Test.DejaFu.Conc.Internal.STM |
| SRetry | Test.DejaFu.Conc.Internal.STM |
| SStop | Test.DejaFu.Conc.Internal.STM |
| Start | Test.DejaFu.Types, Test.DejaFu.Conc |
| stateTVar | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| stepInvariant | Test.DejaFu.Conc.Internal |
| stepThread | Test.DejaFu.Conc.Internal |
| stepThrow | Test.DejaFu.Conc.Internal |
| stepTrans | Test.DejaFu.Conc.Internal.STM |
| SThrow | Test.DejaFu.Conc.Internal.STM |
| STM | |
| 1 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Conc |
| STMAction | Test.DejaFu.Conc.Internal.STM |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| Strengthen | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| strengthenDiscard | Test.DejaFu.Types |
| strictlyRefines | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| SupportsBoundThreads | Test.DejaFu.Types, Test.DejaFu.Conc |
| supportsBoundThreads | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 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.Types, Test.DejaFu.Conc |
| SWrite | Test.DejaFu.Conc.Internal.STM |
| synchronised | Test.DejaFu.Conc.Internal |
| SynchronisedModify | Test.DejaFu.Internal |
| SynchronisedOther | Test.DejaFu.Internal |
| SynchronisedRead | Test.DejaFu.Internal |
| SynchronisedWrite | Test.DejaFu.Internal |
| synchronises | Test.DejaFu.Internal |
| Systematic | Test.DejaFu.Internal |
| systematically | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| TAction | Test.DejaFu.Types |
| takeFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 |
| 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.Types |
| TChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Testable | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| testAuto | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testAutoWay | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testAutoWithSettings | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafu | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafus | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafusWay | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafusWithSettings | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafuWay | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testDejafuWithSettings | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testProperty | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| testPropertyFor | |
| 1 (Function) | Test.HUnit.DejaFu |
| 2 (Function) | Test.Tasty.DejaFu |
| Thread | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
| ThreadAction | Test.DejaFu.Types, Test.DejaFu.Conc |
| ThreadDelay | Test.DejaFu.Types, Test.DejaFu.Conc |
| threadDelay | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| ThreadId | |
| 1 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 3 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| threadNames | Test.DejaFu.Utils |
| Threads | Test.DejaFu.Conc.Internal.Threading |
| threadsFromSnapshot | Test.DejaFu.Conc.Internal.Program |
| Throw | Test.DejaFu.Types, Test.DejaFu.Conc |
| throw | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| ThrownSTM | Test.DejaFu.Types, Test.DejaFu.Conc |
| throwSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| ThrowTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| throwTo | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Ticket | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| ticketIORef | Test.DejaFu.Conc.Internal.Common |
| ticketVal | Test.DejaFu.Conc.Internal.Common |
| ticketWrites | Test.DejaFu.Conc.Internal.Common |
| tidOf | Test.DejaFu.Utils |
| tidsOf | Test.DejaFu.Internal |
| tiers | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| TMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TNew | Test.DejaFu.Types |
| toId | Test.DejaFu.SCT.Internal |
| toIsConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| toIsSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TOrElse | Test.DejaFu.Types |
| TotalStoreOrder | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| toTIdTrace | Test.DejaFu.Utils |
| TQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| Trace | Test.DejaFu.Types, Test.DejaFu.Conc |
| TRead | Test.DejaFu.Types |
| TRetry | Test.DejaFu.Types |
| tryAcquire | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| tryAcquireRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| tryAcquireWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| 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.Conc.Internal.Memory |
| TryPutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 |
| tryreadBoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| tryReadFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TryReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| tryReadMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 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.Conc.Internal.Memory |
| TryTakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 |
| tryWith | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| tryWithRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| tryWithWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| trywriteBoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| TSem | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| TStop | Test.DejaFu.Types |
| TThrow | Test.DejaFu.Types |
| TVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy.STM, Control.Concurrent.Classy, Control.Concurrent.Classy |
| TVarId | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| tvarId | Test.DejaFu.Conc.Internal.STM |
| tvarRef | Test.DejaFu.Conc.Internal.STM |
| tvarsOf | Test.DejaFu.Internal |
| tvarsRead | Test.DejaFu.Internal |
| tvarsWritten | Test.DejaFu.Internal |
| TWrite | Test.DejaFu.Types |
| unblockInvariants | Test.DejaFu.Conc.Internal |
| unblockWaitingOn | Test.DejaFu.Conc.Internal |
| uncatching | Test.DejaFu.Conc.Internal.Threading |
| UncaughtException | Test.DejaFu.Types, Test.DejaFu.Conc, 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 |
| uniformly | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| uninterruptibleCancel | Control.Concurrent.Classy.Async |
| uninterruptibleMask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| uninterruptibleMask_ | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Unmasked | Test.DejaFu.Conc |
| unsafeUnmask | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| UnsynchronisedOther | Test.DejaFu.Internal |
| UnsynchronisedRead | Test.DejaFu.Internal |
| UnsynchronisedWrite | Test.DejaFu.Internal |
| updateCState | Test.DejaFu.Internal |
| updateIOState | Test.DejaFu.Internal |
| updateMaskState | Test.DejaFu.Internal |
| updateMVState | Test.DejaFu.Internal |
| validateDPOR | Test.DejaFu.SCT.Internal.DPOR |
| wait | |
| 1 (Function) | Control.Concurrent.Classy.Async |
| 2 (Function) | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| waitAny | Control.Concurrent.Classy.Async |
| waitAnyCancel | Control.Concurrent.Classy.Async |
| waitAnyCatch | Control.Concurrent.Classy.Async |
| waitAnyCatchCancel | Control.Concurrent.Classy.Async |
| waitAnyCatchSTM | Control.Concurrent.Classy.Async |
| waitAnySTM | Control.Concurrent.Classy.Async |
| waitBoth | Control.Concurrent.Classy.Async |
| waitBothSTM | Control.Concurrent.Classy.Async |
| waitCatch | Control.Concurrent.Classy.Async |
| waitCatchSTM | Control.Concurrent.Classy.Async |
| waitEither | Control.Concurrent.Classy.Async |
| waitEitherCancel | Control.Concurrent.Classy.Async |
| waitEitherCatch | Control.Concurrent.Classy.Async |
| waitEitherCatchCancel | Control.Concurrent.Classy.Async |
| waitEitherCatchSTM | Control.Concurrent.Classy.Async |
| waitEitherSTM | Control.Concurrent.Classy.Async |
| waitEitherSTM_ | Control.Concurrent.Classy.Async |
| waitEither_ | Control.Concurrent.Classy.Async |
| waitQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| waitQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| waitRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| waitSTM | Control.Concurrent.Classy.Async |
| waitTSem | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| waitWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| wake | Test.DejaFu.Conc.Internal.Threading |
| Way | |
| 1 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| Weaken | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| weakenDiscard | Test.DejaFu.Types |
| What | Test.DejaFu.Conc.Internal |
| WillCasIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillCommitIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillFork | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillForkOS | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillGetMaskingState | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillGetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillIsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillLiftIO | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillModIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillModIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillMyThreadId | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillNewIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillNewMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillPopCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillPutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReadIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReadIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillRegisterInvariant | Test.DejaFu.Types, Test.DejaFu.Conc |
| willRelease | Test.DejaFu.Internal |
| WillResetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReturn | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillSetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillSetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillSTM | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillStop | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillSupportsBoundThreads | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillTakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillThreadDelay | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillThrow | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillThrowTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillTryPutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillTryReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillTryTakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillWriteIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillYield | Test.DejaFu.Types, Test.DejaFu.Conc |
| willYield | Test.DejaFu.SCT.Internal.DPOR |
| with | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| withAsync | Control.Concurrent.Classy.Async |
| withAsyncBound | Control.Concurrent.Classy.Async |
| withAsyncBoundN | Control.Concurrent.Classy.Async |
| withAsyncN | Control.Concurrent.Classy.Async |
| withAsyncOn | Control.Concurrent.Classy.Async |
| withAsyncOnN | Control.Concurrent.Classy.Async |
| withAsyncOnWithUnmask | Control.Concurrent.Classy.Async |
| withAsyncOnWithUnmaskN | Control.Concurrent.Classy.Async |
| withAsyncWithUnmask | Control.Concurrent.Classy.Async |
| withAsyncWithUnmaskN | Control.Concurrent.Classy.Async |
| withMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| withMVarMasked | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| withRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| WithSetup | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| withSetup | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| WithSetupAndTeardown | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| withSetupAndTeardown | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| withTeardown | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| withWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| wrap | Test.DejaFu.Conc.Internal.Program |
| writeBarrier | Test.DejaFu.Conc.Internal.Memory |
| writeBoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| WriteBuffer | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| writeChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| writeCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| writeImmediate | Test.DejaFu.Conc.Internal.Memory |
| WriteIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| writeIORef | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| writeList2BoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| writeList2Chan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| writeRef | Test.DejaFu.Types |
| 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 |
| WS | Test.DejaFu.Conc.Internal.Program |
| WSAT | Test.DejaFu.Conc.Internal.Program |
| wsProgram | Test.DejaFu.Conc.Internal.Common |
| wsSetup | Test.DejaFu.Conc.Internal.Common |
| wstProgram | Test.DejaFu.Conc.Internal.Common |
| wstSetup | Test.DejaFu.Conc.Internal.Common |
| wstTeardown | Test.DejaFu.Conc.Internal.Common |
| X | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| Yield | Test.DejaFu.Types, Test.DejaFu.Conc |
| yield | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| _blocking | Test.DejaFu.Conc.Internal.Threading |
| _bound | Test.DejaFu.Conc.Internal.Threading |
| _continuation | Test.DejaFu.Conc.Internal.Threading |
| _debugFatal | Test.DejaFu.Internal |
| _debugPrint | Test.DejaFu.Internal |
| _debugShow | Test.DejaFu.Internal |
| _discard | Test.DejaFu.Internal |
| _earlyExit | Test.DejaFu.Internal |
| _equality | Test.DejaFu.Internal |
| _failureMsg | Test.DejaFu |
| _failures | Test.DejaFu |
| _handlers | Test.DejaFu.Conc.Internal.Threading |
| _iorids | Test.DejaFu.Internal |
| _lengthBound | Test.DejaFu.Internal |
| _masking | Test.DejaFu.Conc.Internal.Threading |
| _memtype | Test.DejaFu.Internal |
| _mvids | Test.DejaFu.Internal |
| _pass | Test.DejaFu |
| _safeIO | Test.DejaFu.Internal |
| _showAborts | Test.DejaFu.Internal |
| _simplify | Test.DejaFu.Internal |
| _tids | Test.DejaFu.Internal |
| _tvids | Test.DejaFu.Internal |
| _way | Test.DejaFu.Internal |
| ~= | Test.DejaFu.Conc.Internal.Threading |