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