Index - M
| mapNan | Data.Prd.Nan |
| Maximal | Data.Prd |
| maximal | Data.Prd |
| maxNorm | Data.Float |
| maxOdd | Data.Float |
| maybel | Data.Connection |
| maybeNan | Data.Prd.Nan |
| mayber | Data.Connection |
| median | Data.Prd.Lattice |
| Meet | |
| 1 (Type/Class) | Data.Prd.Lattice |
| 2 (Data Constructor) | Data.Prd.Lattice |
| meet | Data.Prd.Lattice |
| meet1 | Data.Prd.Lattice |
| meetLeq | Data.Prd.Lattice |
| Minimal | Data.Prd |
| minimal | Data.Prd |
| minNorm | Data.Float |
| minSub | Data.Float |
| monotone | Data.Connection.Property |
| monotone' | Data.Connection.Property |
| msbMask | Data.Float |