Index - M
| many | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| map | CLaSH.Sized.Vector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mapAccumL | CLaSH.Sized.Vector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mapAccumR | CLaSH.Sized.Vector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mapM | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mapM_ | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mappend | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mapSignal# | CLaSH.Signal.Internal | 
| Max | CLaSH.Promoted.Ord, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| max | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| maxBound | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| maxBound# | |
| 1 (Function) | CLaSH.Sized.Internal.BitVector | 
| 2 (Function) | CLaSH.Sized.Internal.Index | 
| 3 (Function) | CLaSH.Sized.Internal.Signed | 
| 4 (Function) | CLaSH.Sized.Internal.Unsigned | 
| maximum | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| maxIndex | CLaSH.Sized.Vector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| maxIndex# | CLaSH.Sized.Internal.BitVector, CLaSH.Sized.BitVector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| Maybe | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| maybe | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mconcat | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mealy | CLaSH.Prelude.Mealy, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mealy' | CLaSH.Prelude.Mealy, CLaSH.Prelude.Explicit.Safe, CLaSH.Prelude.Explicit | 
| mealyB | CLaSH.Prelude.Mealy, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mealyB' | CLaSH.Prelude.Mealy, CLaSH.Prelude.Explicit.Safe, CLaSH.Prelude.Explicit | 
| mealyDF | CLaSH.Prelude.DataFlow, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mempty | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| merge | CLaSH.Sized.Vector, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| Min | CLaSH.Promoted.Ord, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| min | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| minBound | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| minBound# | |
| 1 (Function) | CLaSH.Sized.Internal.BitVector | 
| 2 (Function) | CLaSH.Sized.Internal.Signed | 
| 3 (Function) | CLaSH.Sized.Internal.Unsigned | 
| minBoundSym# | CLaSH.Sized.Internal.Signed | 
| minimum | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| minus | CLaSH.Class.Num, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| minus# | |
| 1 (Function) | CLaSH.Sized.Internal.BitVector | 
| 2 (Function) | CLaSH.Sized.Internal.Index | 
| 3 (Function) | CLaSH.Sized.Internal.Signed | 
| 4 (Function) | CLaSH.Sized.Internal.Unsigned | 
| mod | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mod# | CLaSH.Sized.Internal.Signed | 
| Monad | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| Monoid | CLaSH.Prelude.Safe, CLaSH.Prelude | 
| moore | CLaSH.Prelude.Moore, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| moore' | CLaSH.Prelude.Moore, CLaSH.Prelude.Explicit.Safe, CLaSH.Prelude.Explicit | 
| mooreB | CLaSH.Prelude.Moore, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mooreB' | CLaSH.Prelude.Moore, CLaSH.Prelude.Explicit.Safe, CLaSH.Prelude.Explicit | 
| mooreDF | CLaSH.Prelude.DataFlow, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| MResult | CLaSH.Class.Num, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| msb | CLaSH.Prelude.BitIndex, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| msb# | CLaSH.Sized.Internal.BitVector | 
| mulSNat | CLaSH.Promoted.Nat, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| multUNat | CLaSH.Promoted.Nat, CLaSH.Prelude.Safe, CLaSH.Prelude | 
| mux | CLaSH.Signal.Internal, CLaSH.Signal, CLaSH.Prelude.Safe, CLaSH.Prelude |