Index - M
| makeCriticalPair | Twee.CP |
| makePassives | Twee |
| mapFun | Twee.Term, Twee.Base |
| mapFunList | Twee.Term, Twee.Base |
| mapMaybe | Twee.PassiveQueue |
| match | Twee.Term, Twee.Base |
| matches | Twee.Index, Twee.Rule.Index |
| matchIn | Twee.Term, Twee.Base |
| matchList | Twee.Term, Twee.Base |
| matchListIn | Twee.Term, Twee.Base |
| maybeBraces | Twee.Pretty, Twee.Base |
| maybeBrackets | Twee.Pretty, Twee.Base |
| maybeDoubleQuotes | Twee.Pretty, Twee.Base |
| maybeParens | Twee.Pretty, Twee.Base |
| maybeQuotes | Twee.Pretty, Twee.Base |
| Message | Twee |
| message | Twee |
| messages | Twee |
| Minimal | |
| 1 (Type/Class) | Twee.Constraints, Twee.Base |
| 2 (Data Constructor) | Twee.Base |
| minimal | Twee.Constraints, Twee.Base |
| minimalTerm | Twee.Base |
| Mode | Twee.Pretty, Twee.Base |
| mode | Twee.Pretty, Twee.Base |
| Model | |
| 1 (Type/Class) | Twee.Constraints |
| 2 (Data Constructor) | Twee.Constraints |
| modelFromOrder | Twee.Constraints |
| modelToLiterals | Twee.Constraints |