| manyErrorsIfFalse | CSPM.TypeChecker.Monad |
| Map | CSPM.Compiler.Map |
| mapPF | Util.PartialFunctions |
| markAsDeprecated | CSPM.TypeChecker.Monad |
| markTypeAsUnsafe | CSPM.TypeChecker.Monad |
| Match | |
| 1 (Type/Class) | CSPM.DataStructures.Syntax, CSPM |
| 2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
| matchPatterns | CSPM.DataStructures.Syntax, CSPM |
| matchRightHandSide | CSPM.DataStructures.Syntax, CSPM |
| MathsBinaryOp | CSPM.DataStructures.Syntax, CSPM |
| mathsBinaryOpLeftExpression | CSPM.DataStructures.Syntax, CSPM |
| mathsBinaryOpOperator | CSPM.DataStructures.Syntax, CSPM |
| mathsBinaryOpRightExpression | CSPM.DataStructures.Syntax, CSPM |
| MathsUnaryOp | CSPM.DataStructures.Syntax, CSPM |
| mathsUnaryOpExpression | CSPM.DataStructures.Syntax, CSPM |
| mathsUnaryOpOperator | CSPM.DataStructures.Syntax, CSPM |
| maybeLookup | |
| 1 (Function) | Util.HierarchicalMap |
| 2 (Function) | CSPM.TypeChecker.Environment |
| maybeLookupInTopLayer | Util.HierarchicalMap |
| mcompress | CSPM.TypeChecker.Compressor |
| member | |
| 1 (Function) | CSPM.Compiler.Set |
| 2 (Function) | CSPM.Evaluator.ValueSet |
| Minus | CSPM.DataStructures.Syntax, CSPM |
| mkErrorMessage | Util.Exception |
| mkExternalName | CSPM.DataStructures.Names, CSPM |
| mkFreshInternalName | CSPM.DataStructures.Names, CSPM |
| mkInternalName | CSPM.DataStructures.Names, CSPM |
| mkSymbolInformation | CSPM.TypeChecker.Environment |
| mkWarningMessage | Util.Exception |
| mkWiredInName | CSPM.DataStructures.Names, CSPM |
| Mod | CSPM.DataStructures.Syntax, CSPM |
| Mode | Util.PrettyPrint |
| mode | Util.PrettyPrint |
| Model | CSPM.DataStructures.Syntax, CSPM.DataStructures.Tokens, CSPM |
| ModelCompress | CSPM.Compiler.Processes, CSPM.Evaluator.Values, CSPM |
| ModelOption | CSPM.DataStructures.Syntax, CSPM |
| modify | CSPM.Evaluator.Monad |
| modifyTopFileParserState | CSPM.Parser.Monad |
| Module | CSPM.DataStructures.Syntax, CSPM |
| MonadIOException | Util.Exception |
| movePos | CSPM.Parser.Monad |