Index - M
| mapAndUnzipM | Lava, Wired |
| mapM | Lava, Wired |
| mapM_ | Lava, Wired |
| mapPort | Lava.Internal |
| mapPortM | Lava.Internal |
| maximumByArrival | Analysis.Timing.Library |
| mfilter | Lava, Wired |
| mirror | Lava.Patterns |
| mkCell | Wired.Model |
| mkGuideDB | Wired.Model |
| mkTimingTable | Analysis.Timing.Library |
| mon | Lava.Patterns |
| Monad | Lava, Wired |
| MonadKnot | Data.Logical.Knot |
| MonadLava | Lava.Internal, Lava, Wired |
| MonadLayout | Layout.Internal, Layout, Wired |
| MonadLet | Data.Logical.Let |
| MonadPlus | Lava, Wired |
| MonadWired | Wired.Model |
| mplus | Lava, Wired |
| msum | Lava, Wired |
| mulLen | Data.Hardware.Internal, Data.Hardware, Wired |
| mulLen2 | Data.Hardware.Internal, Data.Hardware, Wired |
| Multiply | Data.Hardware.Internal |
| mzero | Lava, Wired |