| Mac | Michelson.Macro |
| Macro | Michelson.Macro |
| macro | Michelson.Parser.Macro |
| makeLensesWith | Util.Lens |
| MAP | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| mapCadrMac | Michelson.Parser.Macro |
| mapFullContractCode | Michelson.Typed.Instr, Michelson.Typed |
| mapLeaves | Michelson.Macro |
| MapOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| mapOp | Michelson.Parser.Instr |
| mapOpFromList | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpInp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MapOpRes | Michelson.Typed.Polymorphic, Michelson.Typed |
| mapOpToList | Michelson.Typed.Polymorphic, Michelson.Typed |
| mapSomeContract | Michelson.TypeCheck.Types, Michelson.TypeCheck |
| mapTCError | Michelson.TypeCheck.TypeCheck, Michelson.TypeCheck |
| MAP_CADR | Michelson.Macro |
| Markdown | Util.Markdown |
| matchContractEntryPoints | Michelson.Test.Unit |
| matchTypes | Michelson.TypeCheck.Helpers, Michelson.TypeCheck |
| maxTimestamp | Michelson.Test.Gen, Michelson.Test |
| md | Util.Markdown |
| mdAnchor | Util.Markdown |
| mdBold | Util.Markdown |
| mdComment | Util.Markdown |
| mdHeader | Util.Markdown |
| mdItalic | Util.Markdown |
| mdLocalRef | Util.Markdown |
| mdRef | Util.Markdown |
| mdSeparator | Util.Markdown |
| mdSpoiler | Util.Markdown |
| mdSubsection | Util.Markdown |
| mdSubsectionTitle | Util.Markdown |
| mdTicked | Util.Markdown |
| MEM | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| memImpl | Michelson.TypeCheck.Helpers |
| MemOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| MemOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| mformatAddress | Tezos.Address |
| mformatChainId | Tezos.Core |
| mformatEpAddress | Michelson.Typed.EntryPoints, Michelson.Typed |
| mformatKeyHash | Tezos.Crypto |
| mformatPublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| mformatSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| MichelsonAmbigousEpRef | Michelson.Interpret |
| MichelsonArithError | Michelson.Interpret |
| MichelsonFailed | Michelson.Interpret |
| MichelsonFailedTestAssert | Michelson.Interpret |
| MichelsonFailedWith | Michelson.Interpret |
| MichelsonGasExhaustion | Michelson.Interpret |
| midTimestamp | Michelson.Test.Gen, Michelson.Test |
| minTimestamp | Michelson.Test.Gen, Michelson.Test |
| mkAnnotation | Michelson.Untyped.Annotation, Michelson.Untyped |
| mkChainId | Tezos.Core |
| mkChainIdUnsafe | Tezos.Core |
| mkContractAddress | Michelson.Untyped.Instr, Michelson.Untyped |
| mkContractAddressRaw | Tezos.Address |
| mkContractHashRaw | Tezos.Address |
| mkDGitRevision | Michelson.Doc |
| mkDocTest | Michelson.Doc.Test |
| mkEntryPointCall | Michelson.Typed.EntryPoints, Michelson.Typed |
| MkEntryPointCallRes | |
| 1 (Type/Class) | Michelson.Typed.EntryPoints, Michelson.Typed |
| 2 (Data Constructor) | Michelson.Typed.EntryPoints, Michelson.Typed |
| 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 |
| mkParamNotes | Michelson.Typed.EntryPoints, Michelson.Typed |
| mkParser | Michelson.Parser.Helpers |
| mkPos | Michelson.ErrorPos |
| mkPositive | Util.Positive |
| mkPublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| mkSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| 4 (Function) | Tezos.Crypto |
| mkStackRef | Michelson.Typed.Instr, Michelson.Typed |
| mkUType | Michelson.Typed.Extract, Michelson.Typed |
| modifyInstrDoc | Michelson.Typed.Doc, Michelson.Typed |
| modifyNow | Michelson.Test.Integrational |
| modifyTypicalFailWith | Michelson.FailPattern |
| MorleyLogs | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| morleyRepoSettings | Michelson.Doc |
| mparens | Michelson.Parser.Helpers |
| mSpace | Michelson.Parser.Lexer |
| mt | Michelson.Text |
| MText | Michelson.Text |
| mtextHeadToUpper | Michelson.Text |
| 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 |
| mulImpl | Michelson.TypeCheck.Helpers |
| mulMutez | Tezos.Core |
| MulOverflow | Michelson.Typed.Arith, Michelson.Typed |
| Mutez | Tezos.Core |
| MutezArithError | Michelson.Typed.Arith, Michelson.Typed |
| MutezOverflow | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| MyCompoundType | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |