Index - M
| many | Effectful.NonDet |
| mask | Effectful.Exception |
| MaybeIOE | Effectful.Internal.Monad, Effectful.Dispatch.Static |
| modify | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| 4 (Function) | Effectful.Labeled.State |
| modifyEnv | Effectful.Internal.Env, Effectful.Dispatch.Static.Primitive |
| modifyM | |
| 1 (Function) | Effectful.State.Static.Local |
| 2 (Function) | Effectful.State.Static.Shared |
| 3 (Function) | Effectful.State.Dynamic |
| 4 (Function) | Effectful.Labeled.State |
| MonadCatch | Effectful.Exception |
| MonadIO | Effectful |
| MonadMask | Effectful.Exception |
| MonadThrow | Effectful.Exception |
| MonadUnliftIO | Effectful |