| ->- | 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 |
| ACasCRef | Test.DejaFu.Conc.Internal.Common |
| ACatching | Test.DejaFu.Conc.Internal.Common |
| ACommit | Test.DejaFu.Conc.Internal.Common |
| Act | Test.DejaFu.Conc.Internal |
| Action | Test.DejaFu.Conc.Internal.Common |
| ActionType | Test.DejaFu.Internal |
| addCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| ADelay | Test.DejaFu.Conc.Internal.Common |
| ADontCheck | Test.DejaFu.Conc.Internal.Common |
| AFork | Test.DejaFu.Conc.Internal.Common |
| AForkOS | 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 |
| AModCRef | Test.DejaFu.Conc.Internal.Common |
| AModCRefCas | Test.DejaFu.Conc.Internal.Common |
| AMyTId | Test.DejaFu.Conc.Internal.Common |
| ANewCRef | Test.DejaFu.Conc.Internal.Common |
| ANewMVar | Test.DejaFu.Conc.Internal.Common |
| APopCatching | Test.DejaFu.Conc.Internal.Common |
| APutMVar | Test.DejaFu.Conc.Internal.Common |
| AReadCRef | Test.DejaFu.Conc.Internal.Common |
| AReadCRefCas | Test.DejaFu.Conc.Internal.Common |
| AReadMVar | Test.DejaFu.Conc.Internal.Common |
| AResetMask | Test.DejaFu.Conc.Internal.Common |
| AReturn | Test.DejaFu.Conc.Internal.Common |
| ASetNumCapabilities | Test.DejaFu.Conc.Internal.Common |
| AStop | Test.DejaFu.Conc.Internal.Common |
| AStopSub | Test.DejaFu.Conc.Internal.Common |
| ASub | Test.DejaFu.Conc.Internal.Common |
| ATakeMVar | Test.DejaFu.Conc.Internal.Common |
| AThrow | Test.DejaFu.Conc.Internal.Common |
| AThrowTo | Test.DejaFu.Conc.Internal.Common |
| ATryPutMVar | Test.DejaFu.Conc.Internal.Common |
| ATryReadMVar | Test.DejaFu.Conc.Internal.Common |
| ATryTakeMVar | Test.DejaFu.Conc.Internal.Common |
| autocheck | Test.DejaFu |
| autocheckWay | Test.DejaFu |
| autocheckWithSettings | Test.DejaFu |
| AWriteCRef | 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 |
| 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 |
| boundLength | 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 | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Threading |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Threading |
| 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 |
| canDCSnapshot | Test.DejaFu.Conc |
| canInterrupt | Test.DejaFu.SCT.Internal.DPOR |
| canInterruptL | Test.DejaFu.SCT.Internal.DPOR |
| CasCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| casCRef | Test.DejaFu.Conc.Internal.Memory |
| Catching | Test.DejaFu.Types, Test.DejaFu.Conc |
| catching | Test.DejaFu.Conc.Internal.Threading |
| cCaps | Test.DejaFu.Conc.Internal |
| check | Test.DejaFu.Refinement, Test.DejaFu |
| check' | Test.DejaFu.Refinement, Test.DejaFu |
| checkFor | Test.DejaFu.Refinement, Test.DejaFu |
| cIdSource | Test.DejaFu.Conc.Internal |
| CommitCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| commitThreadId | Test.DejaFu.Conc.Internal.Memory |
| commitWrite | Test.DejaFu.Conc.Internal.Memory |
| ConcIO | Test.DejaFu.Conc |
| ConcT | Test.DejaFu.Conc |
| Context | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| Continue | Test.DejaFu.Types, Test.DejaFu.Conc |
| CounterExample | Test.DejaFu.Refinement, Test.DejaFu |
| counterExamples | Test.DejaFu.Refinement, Test.DejaFu |
| CRefId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Types |
| crefId | Test.DejaFu.Conc.Internal.Common |
| crefOf | Test.DejaFu.Internal |
| crefRef | Test.DejaFu.Conc.Internal.Common |
| 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 |
| dcSched | Test.DejaFu.Conc.Internal |
| dcsContext | Test.DejaFu.Conc.Internal |
| DCSnapshot | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| dcsRef | Test.DejaFu.Conc.Internal |
| dcsRestore | 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 |
| defaultLengthBound | 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 |
| defaultSettings | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultWay | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafuDiscard | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafusWay | Test.DejaFu |
| dejafusWithSettings | Test.DejaFu |
| dejafuWay | Test.DejaFu |
| dejafuWithSettings | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| depCRState | Test.DejaFu.SCT.Internal.DPOR |
| dependent | Test.DejaFu.SCT.Internal.DPOR |
| dependent' | Test.DejaFu.SCT.Internal.DPOR |
| dependentActions | Test.DejaFu.SCT.Internal.DPOR |
| depMaskState | Test.DejaFu.SCT.Internal.DPOR |
| depMVState | Test.DejaFu.SCT.Internal.DPOR |
| DepState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | 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 |
| DontCheck | Test.DejaFu.Types, Test.DejaFu.Conc |
| dontCheck | Test.DejaFu.Conc |
| 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 |
| efromList | 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 |
| 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 |
| Failure | Test.DejaFu.Types, Test.DejaFu.Conc, 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 |
| ForkOS | Test.DejaFu.Types, Test.DejaFu.Conc |
| fromId | Test.DejaFu.SCT.Internal |
| fromWayAndMemType | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| get | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 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 |
| 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 |
| IllegalDontCheck | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IllegalSubconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| incorporateBacktrackSteps | Test.DejaFu.SCT.Internal.DPOR |
| incorporateTrace | Test.DejaFu.SCT.Internal.DPOR |
| IncrementalBoundFunc | Test.DejaFu.SCT.Internal.DPOR |
| independent | Test.DejaFu.SCT.Internal.DPOR |
| initialDepState | Test.DejaFu.SCT.Internal.DPOR |
| initialDPORSchedState | Test.DejaFu.SCT.Internal.DPOR |
| initialDPORThread | 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 |
| interfere | Test.DejaFu.Refinement, Test.DejaFu |
| InternalError | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| isAbort | Test.DejaFu.Types, Test.DejaFu |
| isBarrier | Test.DejaFu.Internal |
| isBlock | Test.DejaFu.Internal |
| isBuffered | Test.DejaFu.SCT.Internal.DPOR |
| isCommit | Test.DejaFu.Internal |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isFull | Test.DejaFu.SCT.Internal.DPOR |
| isIllegalDontCheck | Test.DejaFu.Types, Test.DejaFu |
| isIllegalSubconcurrency | Test.DejaFu.Types, Test.DejaFu |
| isInternalError | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.SCT.Internal.DPOR |
| isMaskedUninterruptible | Test.DejaFu.SCT.Internal.DPOR |
| isUncaughtException | Test.DejaFu.Types, Test.DejaFu |
| kill | Test.DejaFu.Conc.Internal.Threading |
| killAllThreads | Test.DejaFu.Conc.Internal |
| 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 |
| lmemtype | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| Lookahead | Test.DejaFu.Types, Test.DejaFu.Conc |
| lookahead | Test.DejaFu.Conc.Internal.Common |
| 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 |
| ModCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| ModCRefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| ModelConc | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| ModelCRef | |
| 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 |
| 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 |
| NewCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| NewMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| nextCRId | Test.DejaFu.Internal |
| nextId | 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 |
| O | Test.DejaFu.Refinement, Test.DejaFu |
| observe | Test.DejaFu.Refinement, Test.DejaFu |
| OnMask | Test.DejaFu.Conc.Internal.Threading |
| OnMVarEmpty | Test.DejaFu.Conc.Internal.Threading |
| OnMVarFull | Test.DejaFu.Conc.Internal.Threading |
| OnTVar | Test.DejaFu.Conc.Internal.Threading |
| PartiallySynchronisedCommit | Test.DejaFu.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 |
| 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 |
| ReadCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readCRef | Test.DejaFu.Conc.Internal.Memory |
| ReadCRefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
| refines | Test.DejaFu.Refinement, 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 |
| resultsSetDiscard | Test.DejaFu.SCT |
| resultsSetDiscard' | 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 |
| runConcurrency' | Test.DejaFu.Conc.Internal |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc |
| runForDCSnapshot | Test.DejaFu.Conc |
| 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 |
| runSCTDiscard | Test.DejaFu.SCT |
| runSCTDiscard' | Test.DejaFu.SCT |
| runSCTWithSettings | Test.DejaFu.SCT |
| runSCTWithSettings' | Test.DejaFu.SCT |
| runTest | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.Conc.Internal.STM |
| runWithDCSnapshot | Test.DejaFu.Conc |
| SCatch | Test.DejaFu.Conc.Internal.STM |
| schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
| schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
| schedBState | Test.DejaFu.SCT.Internal.DPOR |
| schedDepState | Test.DejaFu.SCT.Internal.DPOR |
| schedGen | Test.DejaFu.SCT.Internal.Weighted |
| schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
| schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
| schedSleep | Test.DejaFu.SCT.Internal.DPOR |
| 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 |
| sctBound | Test.DejaFu.SCT |
| sctBoundDiscard | Test.DejaFu.SCT |
| sctUniformRandom | Test.DejaFu.SCT |
| sctUniformRandomDiscard | Test.DejaFu.SCT |
| sctWeightedRandom | Test.DejaFu.SCT |
| sctWeightedRandomDiscard | Test.DejaFu.SCT |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | Test.DejaFu.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 |
| showFail | 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 |
| simplestsBy | Test.DejaFu.Utils |
| simplify | Test.DejaFu.SCT.Internal |
| simplifyAction | Test.DejaFu.Internal |
| simplifyExecution | Test.DejaFu.SCT.Internal |
| simplifyLookahead | Test.DejaFu.Internal |
| Single | Test.DejaFu.Conc.Internal |
| Snap | Test.DejaFu.Conc.Internal |
| 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 |
| 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 |
| STMDeadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| StopSubconcurrency | 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 |
| SubC | Test.DejaFu.Conc.Internal |
| Subconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
| subconcurrency | Test.DejaFu.Conc |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| 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 |
| threadsFromDCSnapshot | Test.DejaFu.Conc |
| Throw | Test.DejaFu.Types, Test.DejaFu.Conc |
| ThrowTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| ticketCRef | 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 |
| 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 |
| updateCRState | Test.DejaFu.SCT.Internal.DPOR |
| updateDepState | Test.DejaFu.SCT.Internal.DPOR |
| updateMaskState | Test.DejaFu.SCT.Internal.DPOR |
| updateMVState | Test.DejaFu.SCT.Internal.DPOR |
| 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 |
| WillCasCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillCatching | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillCommitCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillDontCheck | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillFork | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillForkOS | 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 |
| WillModCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillModCRefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillMyThreadId | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillNewCRef | 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 |
| WillReadCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReadCRefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillReadMVar | 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 |
| WillStopSubconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillSubconcurrency | 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 |
| WillWriteCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| WillYield | Test.DejaFu.Types, Test.DejaFu.Conc |
| willYield | Test.DejaFu.SCT.Internal.DPOR |
| writeBarrier | Test.DejaFu.Conc.Internal.Memory |
| WriteBuffer | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Memory |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Memory |
| WriteCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| writeImmediate | Test.DejaFu.Conc.Internal.Memory |
| X | Test.DejaFu.Refinement, Test.DejaFu |
| Yield | Test.DejaFu.Types, Test.DejaFu.Conc |
| _blocking | Test.DejaFu.Conc.Internal.Threading |
| _bound | Test.DejaFu.Conc.Internal.Threading |
| _boundTId | Test.DejaFu.Conc.Internal.Threading |
| _continuation | Test.DejaFu.Conc.Internal.Threading |
| _crids | Test.DejaFu.Internal |
| _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 |
| _getboundIO | Test.DejaFu.Conc.Internal.Threading |
| _handlers | Test.DejaFu.Conc.Internal.Threading |
| _masking | Test.DejaFu.Conc.Internal.Threading |
| _memtype | Test.DejaFu.Internal |
| _mvids | Test.DejaFu.Internal |
| _pass | Test.DejaFu |
| _runboundIO | Test.DejaFu.Conc.Internal.Threading |
| _simplify | Test.DejaFu.Internal |
| _tids | Test.DejaFu.Internal |
| _tvids | Test.DejaFu.Internal |
| _way | Test.DejaFu.Internal |
| ~= | Test.DejaFu.Conc.Internal.Threading |