| 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 |
| Ticket | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| tidOf | Test.DejaFu.Utils |
| tiers | Test.DejaFu.Refinement, Test.DejaFu |
| TNew | Test.DejaFu.Types |
| TOrElse | Test.DejaFu.Types |
| TotalStoreOrder | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| 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 |
| TVar | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
| TVarId | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| tvarsOf | Test.DejaFu.Internal |
| tvarsRead | Test.DejaFu.Internal |
| tvarsWritten | Test.DejaFu.Internal |
| TWrite | Test.DejaFu.Types |