| Mac | Michelson.Macro |
| Macro | Michelson.Macro |
| macro | Michelson.Parser.Macro |
| MAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Map | Lorentz.Value, Lorentz |
| map | Lorentz.Instr, Lorentz |
| mapCadrMac | Michelson.Parser.Macro |
| mapCar | Lorentz.Macro, Lorentz |
| mapCdr | Lorentz.Macro, Lorentz |
| mapInsert | Lorentz.Macro, Lorentz |
| mapInsertNew | Lorentz.Macro, Lorentz |
| mapLeaves | Michelson.Macro |
| MapOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| mapOp | Michelson.Parser.Instr |
| mapOpFromList | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpHs | Lorentz.Polymorphic, Lorentz |
| MapOpInp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpInpHs | Lorentz.Polymorphic, Lorentz |
| MapOpRes | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpResHs | Lorentz.Polymorphic, Lorentz |
| mapOpToList | Michelson.Typed.Polymorphic, Michelson.Typed |
| mappend | Lorentz.Prelude, Lorentz |
| MAP_CADR | Michelson.Macro |
| maxBound | Lorentz.Prelude, Lorentz |
| maxTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| Maybe | Lorentz.Value, Lorentz |
| mconcat | Lorentz.Prelude, Lorentz |
| MEM | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| mem | Lorentz.Instr, Lorentz |
| memImpl | Michelson.TypeCheck.Helpers |
| MemOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MemOpHs | Lorentz.Polymorphic, Lorentz |
| MemOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| MemOpKeyHs | Lorentz.Polymorphic, Lorentz |
| mempty | Lorentz.Prelude, Lorentz |
| mformatAddress | Tezos.Address |
| mformatKeyHash | Tezos.Crypto |
| mformatPublicKey | Tezos.Crypto |
| mformatSignature | Tezos.Crypto |
| MichelsonArithError | Michelson.Interpret |
| MichelsonFailed | Michelson.Interpret |
| MichelsonFailedTestAssert | Michelson.Interpret |
| MichelsonFailedWith | Michelson.Interpret |
| MichelsonGasExhaustion | Michelson.Interpret |
| midTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| minBound | Lorentz.Prelude, Lorentz |
| minTimestamp | Michelson.Test.Gen, Michelson.Test, Lorentz.Test |
| mkContractAddress | Michelson.Untyped.Instr, Michelson.Untyped |
| mkContractAddressRaw | Tezos.Address |
| mkGenericTree | Util.Generic |
| mkGenericTreeVec | Util.Generic |
| mkKeyAddress | Tezos.Address |
| mkLetMac | Michelson.Parser.Let |
| mkLetVal | Michelson.Parser.Value |
| mkMText | Michelson.Text |
| mkMTextCut | Michelson.Text |
| mkMTextUnsafe | Michelson.Text |
| mkMutez | Tezos.Core |
| mkNotes | Michelson.Typed.Annotation, Michelson.Typed |
| mkParser | Michelson.Parser.Helpers |
| mkPos | Michelson.ErrorPos |
| mkPublicKey | Tezos.Crypto |
| mkSignature | Tezos.Crypto |
| mkStackRef | Michelson.Typed.Instr, Michelson.Typed |
| mkUType | Michelson.Typed.Extract, Michelson.Typed |
| mkVoid | Lorentz.Macro, Lorentz |
| modifyField | Lorentz.ADT, Lorentz |
| Monoid | Lorentz.Prelude, Lorentz |
| MorleyLogs | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| mSpace | Michelson.Parser.Lexer |
| mt | Michelson.Text, Lorentz.Value, Lorentz |
| MText | Michelson.Text, Lorentz.Value, Lorentz |
| MTextUnsafe | Michelson.Text |
| MUL | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| Mul | Michelson.Typed.Arith, Michelson.Typed |
| mul | Lorentz.Instr, Lorentz |
| mulImpl | Michelson.TypeCheck.Helpers |
| mulMutez | Tezos.Core |
| MulOverflow | Michelson.Typed.Arith, Michelson.Typed |
| Mutez | Tezos.Core, Lorentz.Value, Lorentz |
| MutezArithError | Michelson.Typed.Arith, Michelson.Typed |
| MyCompoundType | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |