| Mainnet | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| makeHashWithExplicitProxys | Cardano.Ledger.Shelley.Core |
| Map | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| mapPParams | Cardano.Ledger.Shelley.Core |
| mapPParamsUpdate | Cardano.Ledger.Shelley.Core |
| mapTraverseableDecoderA | Cardano.Ledger.Shelley.TxWits |
| margin | Cardano.Ledger.Shelley.API.Wallet, Cardano.Ledger.Shelley.API |
| maxKESEvo | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MaxKESEvolutionsUnsupported | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| maxLL | Cardano.Ledger.Shelley.RewardProvenance |
| maxLovelaceSupply | Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| maxPool | Cardano.Ledger.Shelley.State |
| maxPool' | Cardano.Ledger.Shelley.State |
| maxPP | Cardano.Ledger.Shelley.RewardProvenance |
| MaxTxSizeUTxO | Cardano.Ledger.Shelley.Rules |
| memberRew | Cardano.Ledger.Shelley.Rewards |
| MemberReward | Cardano.Ledger.Shelley.Rewards, Cardano.Ledger.Shelley.Core |
| MempoolEnv | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| MempoolState | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| metadataTxAuxDataL | Cardano.Ledger.Shelley.Core |
| Metadatum | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MIRCert | |
| 1 (Type/Class) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| 2 (Data Constructor) | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MIRCertificateTooLateinEpochDELEG | Cardano.Ledger.Shelley.Rules |
| MirEvent | Cardano.Ledger.Shelley.Rules |
| MIRInsufficientGenesisSigsUTXOW | Cardano.Ledger.Shelley.Rules |
| MIRNegativesNotCurrentlyAllowed | Cardano.Ledger.Shelley.Rules |
| MIRNegativeTransfer | Cardano.Ledger.Shelley.Rules |
| MIRPot | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| mirPot | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MIRProducesNegativeUpdate | Cardano.Ledger.Shelley.Rules |
| mirRewards | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MIRTarget | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MirTransfer | Cardano.Ledger.Shelley.Rules |
| MIRTransferNotCurrentlyAllowed | Cardano.Ledger.Shelley.Rules |
| MirTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| MissingScriptWitnessesUTXOW | Cardano.Ledger.Shelley.Rules |
| MissingTxBodyMetadataHash | Cardano.Ledger.Shelley.Rules |
| MissingTxMetadata | Cardano.Ledger.Shelley.Rules |
| MissingVKeyWitnessesUTXOW | Cardano.Ledger.Shelley.Rules |
| mkApparentPerformance | Cardano.Ledger.Shelley.Rewards |
| mkBasicBlockBody | Cardano.Ledger.Shelley.Core |
| mkBasicBlockBodyShelley | Cardano.Ledger.Shelley.BlockBody.Internal, Cardano.Ledger.Shelley.BlockBody, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| mkBasicShelleyTx | Cardano.Ledger.Shelley.Tx |
| mkBasicTx | Cardano.Ledger.Shelley.Core |
| mkBasicTxAuxData | Cardano.Ledger.Shelley.Core |
| mkBasicTxBody | Cardano.Ledger.Shelley.Core |
| mkBasicTxOut | Cardano.Ledger.Shelley.Core |
| mkBasicTxWits | Cardano.Ledger.Shelley.Core |
| mkCoinTxOut | Cardano.Ledger.Shelley.Core |
| mkDelegStakeTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| mkGenesisDelegTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| mkMempoolEnv | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| mkMempoolState | Cardano.Ledger.Shelley.API.Mempool, Cardano.Ledger.Shelley.API |
| mkMirTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| MkMultiSig | Cardano.Ledger.Shelley.Scripts |
| mkPoolRewardInfo | Cardano.Ledger.Shelley.Rewards |
| mkRegPoolTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| mkRegTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| mkRequireAllOf | Cardano.Ledger.Shelley.Scripts |
| mkRequireAnyOf | Cardano.Ledger.Shelley.Scripts |
| mkRequireMOf | Cardano.Ledger.Shelley.Scripts |
| mkRequireSignature | Cardano.Ledger.Shelley.Scripts |
| mkRetirePoolTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| mkShelleyAccountState | Cardano.Ledger.Shelley.State |
| mkShelleyCertState | Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.LedgerState, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| mkShelleyGlobals | Cardano.Ledger.Shelley.Genesis, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| mkShelleyTransitionConfig | Cardano.Ledger.Shelley.Transition |
| MkShelleyTx | Cardano.Ledger.Shelley.Tx, Cardano.Ledger.Shelley |
| MkShelleyTxAuxData | Cardano.Ledger.Shelley.TxAuxData, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MkShelleyTxBody | Cardano.Ledger.Shelley.TxBody, Cardano.Ledger.Shelley |
| MkShelleyTxWits | Cardano.Ledger.Shelley.TxWits |
| mkStakePoolState | Cardano.Ledger.Shelley.State |
| mkSTxBothLevelsM | Cardano.Ledger.Shelley.Core |
| mkSTxTopLevelM | Cardano.Ledger.Shelley.Core |
| mkTransitionConfig | Cardano.Ledger.Shelley.Transition |
| mkUnRegTxCert | Cardano.Ledger.Shelley.TxCert, Cardano.Ledger.Shelley.Core |
| MultiHostName | Cardano.Ledger.Shelley.State, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MultiSig | Cardano.Ledger.Shelley.Scripts, Cardano.Ledger.Shelley.API.Types, Cardano.Ledger.Shelley.API |
| MultiSigAllOf | Cardano.Ledger.Shelley.Scripts |
| MultiSigAnyOf | Cardano.Ledger.Shelley.Scripts |
| MultiSigMOf | Cardano.Ledger.Shelley.Scripts |
| MultiSigRaw | Cardano.Ledger.Shelley.Scripts |
| MultiSigSignature | Cardano.Ledger.Shelley.Scripts |