| manyErrorsIfFalse | CSPM.TypeChecker.Monad |
| Map | CSPM.DataStructures.Syntax, CSPM |
| map | Util.HierarchicalMap |
| mapKeyType | CSPM.DataStructures.Types, CSPM |
| mapKeyValuePairs | CSPM.DataStructures.Syntax, CSPM |
| mapPF | Util.PartialFunctions |
| mapValueType | CSPM.DataStructures.Types, CSPM |
| markAsDeprecated | CSPM.TypeChecker.Monad |
| markDatatypeAsComparableForEquality | 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 |
| maybeProcessNameToProcess | |
| 1 (Function) | CSPM.Evaluator |
| 2 (Function) | CSPM |
| maybeRegisterCall | CSPM.Evaluator.Profiler |
| maybeSave | CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| maybeTimedCSP | CSPM.Evaluator.Monad |
| mcompress | CSPM.TypeChecker.Compressor |
| member | |
| 1 (Function) | Data.Set.MutableBit |
| 2 (Function) | CSPM.Evaluator.ValueSet, CSPM.Evaluator |
| message | Util.Exception |
| 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.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint |
| mode | Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint |
| Model | CSPM.DataStructures.Syntax, CSPM.Parser.Tokens, CSPM |
| ModelCompress | CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| ModelOption | CSPM.DataStructures.Syntax, CSPM |
| modify | CSPM.Evaluator.Monad |
| modifyErrorOptions | CSPM.TypeChecker.Monad, CSPM.TypeChecker |
| modifyTopFileParserState | CSPM.Parser.Monad |
| modifyTypeCheckerErrorOptions | CSPM |
| Module | CSPM.DataStructures.Syntax, CSPM |
| moduleArguments | CSPM.DataStructures.Syntax, CSPM |
| moduleExportedDeclarations | CSPM.DataStructures.Syntax, CSPM |
| ModuleInstance | CSPM.DataStructures.Syntax, CSPM |
| moduleInstanceName | CSPM.DataStructures.Syntax, CSPM |
| moduleInstanceNameMap | CSPM.DataStructures.Syntax, CSPM |
| moduleInstanceOf | CSPM.DataStructures.Syntax, CSPM |
| moduleInstanceOfArguments | CSPM.DataStructures.Syntax, CSPM |
| moduleInstanceOfDeclaration | CSPM.DataStructures.Syntax, CSPM |
| moduleName | CSPM.DataStructures.Syntax, CSPM |
| modulePrivateDeclarations | CSPM.DataStructures.Syntax, CSPM |
| MonadicPrettyPrintable | Util.MonadicPrettyPrint |
| MonadIOException | Util.Exception |
| movePos | CSPM.Parser.Monad |