| ->- | Test.DejaFu.Refinement, Test.DejaFu |
| === | Test.DejaFu.Refinement, Test.DejaFu |
| =>= | Test.DejaFu.Refinement, Test.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 |
| 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 |
| ATakeMVar | Test.DejaFu.Conc.Internal.Common |
| AThrow | Test.DejaFu.Conc.Internal.Common |
| AThrowTo | Test.DejaFu.Conc.Internal.Common |
| ATryPutMVar | Test.DejaFu.Conc.Internal.Common |
| ATryReadMVar | Test.DejaFu.Conc.Internal.Common |
| ATryTakeMVar | Test.DejaFu.Conc.Internal.Common |
| autocheck | Test.DejaFu |
| 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 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| Basic | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.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 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| boundFair | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| boundPreemp | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Bounds | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| BoundThread | Test.DejaFu.Types |
| buffer | Test.DejaFu.Conc.Internal.Memory |
| BufferedWrite | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| bufferWrite | Test.DejaFu.Conc.Internal.Memory |
| canInterrupt | Test.DejaFu.Types |
| canInterruptL | Test.DejaFu.Types |
| CasIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| casIORef | Test.DejaFu.Conc.Internal.Memory |
| Catching | Test.DejaFu.Types, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| cCaps | Test.DejaFu.Conc.Internal |
| cCState | Test.DejaFu.Conc.Internal |
| check | 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 |
| 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 | Test.DejaFu.Conc, Test.DejaFu |
| concIOState | Test.DejaFu.Types |
| concMaskState | Test.DejaFu.Types |
| concMVState | Test.DejaFu.Types |
| ConcT | Test.DejaFu.Conc, Test.DejaFu |
| ConcurrencyState | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| Condition | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| Context | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | 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 |
| CResult | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | 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 | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultFairBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultMemType | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultRecordSnapshot | Test.DejaFu.Conc.Internal.Program |
| defaultSettings | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultWay | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.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 | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| DiscardResultAndTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| DiscardTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| doInvariant | Test.DejaFu.Conc.Internal |
| doTransaction | Test.DejaFu.Conc.Internal.STM |
| DPOR | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | 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 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | 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 |
| 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 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| equivalentTo | Test.DejaFu.Refinement, Test.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 | Test.DejaFu.Refinement, Test.DejaFu |
| expression | Test.DejaFu.Refinement, Test.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 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.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 |
| Fork | Test.DejaFu.Types, Test.DejaFu.Conc |
| forkBoundThread | Test.DejaFu.Types |
| ForkOS | Test.DejaFu.Types, Test.DejaFu.Conc |
| fromId | Test.DejaFu.SCT.Internal |
| fromSnapContext | Test.DejaFu.Conc.Internal.Program |
| fromWayAndMemType | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| get | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| GetMaskingState | Test.DejaFu.Types, Test.DejaFu.Conc |
| GetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| getStrongDiscarder | Test.DejaFu.Types |
| getWeakDiscarder | Test.DejaFu.Types |
| gives | Test.DejaFu |
| gives' | Test.DejaFu |
| goto | Test.DejaFu.Conc.Internal.Threading |
| Handler | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
| IAction | Test.DejaFu.Conc.Internal.Common |
| icActive | Test.DejaFu.Conc.Internal |
| ICatch | Test.DejaFu.Conc.Internal.Common |
| icBlocked | Test.DejaFu.Conc.Internal |
| Id | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| IdSource | |
| 1 (Type/Class) | Test.DejaFu.Internal |
| 2 (Data Constructor) | 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 | Test.DejaFu.Refinement, Test.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal.Weighted |
| initialState | Test.DejaFu.SCT.Internal.DPOR |
| initialThread | Test.DejaFu.Types |
| inspectIORef | Test.DejaFu.Conc, Test.DejaFu |
| inspectMVar | Test.DejaFu.Conc, Test.DejaFu |
| inspectTVar | Test.DejaFu.Conc, Test.DejaFu |
| interfere | Test.DejaFu.Refinement, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| Invariant | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| InvariantContext | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| InvariantFailure | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IOBoundThread | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| iobtKillBoundThread | Test.DejaFu.Types |
| iobtRunInBoundThread | Test.DejaFu.Types |
| IORefId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Types |
| 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 |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isFull | Test.DejaFu.Types |
| isInvariantFailure | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.Types |
| isMaskedUninterruptible | Test.DejaFu.Types |
| isSchedulerError | Test.DejaFu.Types |
| 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 |
| launch | Test.DejaFu.Conc.Internal.Threading |
| launch' | Test.DejaFu.Conc.Internal.Threading |
| ldebugFatal | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| ldebugPrint | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| ldebugShow | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| ldiscard | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| learlyExit | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| leftResults | Test.DejaFu.Refinement, Test.DejaFu |
| LengthBound | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lequality | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lexicoNormalForm | Test.DejaFu.SCT.Internal |
| LiftIO | Test.DejaFu.Types, Test.DejaFu.Conc |
| list | Test.DejaFu.Refinement, Test.DejaFu |
| Listable | Test.DejaFu.Refinement, Test.DejaFu |
| llengthBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lmemtype | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Lookahead | Test.DejaFu.Types, Test.DejaFu.Conc |
| lookahead | Test.DejaFu.Conc.Internal.Common |
| lsafeIO | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lshowAborts | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lsimplify | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| lway | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| makeBound | Test.DejaFu.Conc.Internal.Threading |
| makeNonPreemptive | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| mask | Test.DejaFu.Conc.Internal.Threading |
| MaskedInterruptible | Test.DejaFu.Conc |
| MaskedUninterruptible | Test.DejaFu.Conc |
| MaskingState | Test.DejaFu.Conc |
| MemType | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| mkthread | Test.DejaFu.Conc.Internal.Threading |
| ModelConc | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| ModelIORef | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| ModelMVar | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| ModelSTM | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
| ModelTicket | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| ModelTVar | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
| ModIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| ModIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| MonadDejaFu | Test.DejaFu.Types |
| MonadFailException | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| mutMVar | Test.DejaFu.Conc.Internal.Memory |
| MVarId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Types |
| mvarId | Test.DejaFu.Conc.Internal.Common |
| mvarOf | Test.DejaFu.Internal |
| mvarRef | Test.DejaFu.Conc.Internal.Common |
| MyThreadId | Test.DejaFu.Types, Test.DejaFu.Conc |
| NewIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| NewMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| newRef | Test.DejaFu.Types |
| nextId | Test.DejaFu.Internal |
| nextIORId | Test.DejaFu.Internal |
| nextMVId | Test.DejaFu.Internal |
| nextTId | Test.DejaFu.Internal |
| nextTVId | Test.DejaFu.Internal |
| noBounds | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.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 | Test.DejaFu.Refinement, Test.DejaFu, Test.DejaFu |
| observe | Test.DejaFu.Refinement, Test.DejaFu |
| OnMask | Test.DejaFu.Conc.Internal.Threading |
| OnMVarEmpty | Test.DejaFu.Conc.Internal.Threading |
| OnMVarFull | Test.DejaFu.Conc.Internal.Threading |
| OnTVar | Test.DejaFu.Conc.Internal.Threading |
| PartiallySynchronisedCommit | Test.DejaFu.Internal |
| PartiallySynchronisedModify | Test.DejaFu.Internal |
| PartiallySynchronisedWrite | Test.DejaFu.Internal |
| PartialStoreOrder | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| pdiscard | Test.DejaFu |
| permuteBy | Test.DejaFu.SCT.Internal |
| peval | Test.DejaFu |
| PopCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| Predicate | Test.DejaFu |
| PreemptionBound | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Program | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| propagate | Test.DejaFu.Conc.Internal.Threading |
| ProPredicate | |
| 1 (Type/Class) | Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu |
| pullBack | Test.DejaFu.SCT.Internal |
| pushForward | Test.DejaFu.SCT.Internal |
| putIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| PutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| Randomly | Test.DejaFu.Internal |
| randomly | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randSched | Test.DejaFu.SCT.Internal.Weighted |
| RandSchedState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.Weighted |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.Weighted |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORef | 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 |
| readRef | Test.DejaFu.Types |
| recordSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| Ref | Test.DejaFu.Types |
| RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
| refines | Test.DejaFu.Refinement, Test.DejaFu |
| RegisterInvariant | Test.DejaFu.Types, Test.DejaFu.Conc |
| registerInvariant | Test.DejaFu.Conc, Test.DejaFu |
| renumber | Test.DejaFu.SCT.Internal |
| replay | Test.DejaFu.SCT.Internal |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| Result | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| 2 (Type/Class) | Test.DejaFu |
| 3 (Data Constructor) | Test.DejaFu |
| resultsSet | Test.DejaFu.SCT |
| resultsSet' | Test.DejaFu.SCT |
| resultsSetWithSettings | Test.DejaFu.SCT |
| resultsSetWithSettings' | Test.DejaFu.SCT |
| Retry | Test.DejaFu.Conc.Internal.STM |
| 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 |
| runConcurrency | Test.DejaFu.Conc.Internal |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runInBoundThread | Test.DejaFu.Types |
| 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 |
| 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 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| scheduleThread | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| schedWeights | Test.DejaFu.SCT.Internal.Weighted |
| sct | Test.DejaFu.SCT.Internal |
| sct' | Test.DejaFu.SCT.Internal |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| set | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| Settings | |
| 1 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Internal |
| showCondition | Test.DejaFu.Utils, Test.DejaFu.Conc |
| showTrace | Test.DejaFu.Utils, Test.DejaFu.Conc |
| Sig | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
| simpleRunConcurrency | Test.DejaFu.Conc.Internal.Program |
| SimpleSnapshot | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Program |
| 2 (Data Constructor) | 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 |
| 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 |
| 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 | Test.DejaFu.Types, Test.DejaFu.Conc |
| STMAction | Test.DejaFu.Conc.Internal.STM |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| Strengthen | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| strengthenDiscard | Test.DejaFu.Types |
| strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| SupportsBoundThreads | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| TAction | Test.DejaFu.Types |
| takeFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| TCatch | Test.DejaFu.Types |
| Testable | Test.DejaFu.Refinement, Test.DejaFu |
| Thread | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
| ThreadAction | Test.DejaFu.Types, Test.DejaFu.Conc |
| ThreadDelay | Test.DejaFu.Types, Test.DejaFu.Conc |
| ThreadId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | 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 |
| ThrownSTM | Test.DejaFu.Types, Test.DejaFu.Conc |
| ThrowTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| 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 | Test.DejaFu.Refinement, Test.DejaFu |
| TNew | Test.DejaFu.Types |
| toId | Test.DejaFu.SCT.Internal |
| TOrElse | Test.DejaFu.Types |
| TotalStoreOrder | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| toTIdTrace | Test.DejaFu.Utils |
| Trace | Test.DejaFu.Types, Test.DejaFu.Conc |
| TRead | Test.DejaFu.Types |
| TRetry | Test.DejaFu.Types |
| tryPutIntoMVar | Test.DejaFu.Conc.Internal.Memory |
| TryPutMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| tryReadFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TryReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| tryTakeFromMVar | Test.DejaFu.Conc.Internal.Memory |
| TryTakeMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| TStop | Test.DejaFu.Types |
| TThrow | Test.DejaFu.Types |
| TVarId | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | 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 |
| uniformly | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Unmasked | Test.DejaFu.Conc |
| 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 |
| wake | Test.DejaFu.Conc.Internal.Threading |
| Way | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Weaken | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | 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 |
| WithSetup | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| withSetup | Test.DejaFu.Conc, Test.DejaFu |
| WithSetupAndTeardown | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| withSetupAndTeardown | Test.DejaFu.Conc, Test.DejaFu |
| withTeardown | Test.DejaFu.Conc, Test.DejaFu |
| wrap | Test.DejaFu.Conc.Internal.Program |
| writeBarrier | Test.DejaFu.Conc.Internal.Memory |
| WriteBuffer | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| writeImmediate | Test.DejaFu.Conc.Internal.Memory |
| WriteIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| writeRef | Test.DejaFu.Types |
| 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 | Test.DejaFu.Refinement, Test.DejaFu, Test.DejaFu |
| Yield | Test.DejaFu.Types, Test.DejaFu.Conc |
| _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 |