| 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 |