Index - M
| MapData | Covenant.Prim |
| mapValT | Covenant.Data |
| Match | Covenant.ASG |
| match | Covenant.ASG |
| MatchErrorAsHandler | Covenant.ASG |
| MatchNoBBForm | Covenant.ASG |
| MatchNoDatatypeInfo | Covenant.ASG |
| MatchNonDatatypeScrutinee | Covenant.ASG |
| MatchNonThunkBBF | Covenant.ASG |
| MatchNonValTy | Covenant.ASG |
| MatchPolymorphicHandler | Covenant.ASG |
| MatchRenameBBFail | Covenant.ASG |
| MatchRenameTyConArgFail | Covenant.ASG |
| mkBaseFunctor | Covenant.Data |
| mkBBF | Covenant.Data |
| MkCons | Covenant.Prim |
| mkDatatypeInfo | Covenant.Data |
| mkDatatypeInfos | Covenant.JSON |
| MkPairData | Covenant.Prim |
| mlResultT | Covenant.Type |
| ModInteger | Covenant.Prim |
| MonadHashCons | Control.Monad.HashCons |
| MonadUpdate | Control.Monad.Action |
| moveDown | Covenant.Zipper |
| moveLeft | Covenant.Zipper |
| moveRight | Covenant.Zipper |
| moveUp | Covenant.Zipper |
| MultiplyInteger | Covenant.Prim |