manyErrorsIfFalse | CSPM.TypeChecker.Monad |
Map | CSPM.Compiler.Map |
mapMonotonic | CSPM.Evaluator.ValueSet |
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 |
MathsBinaryOp | CSPM.DataStructures.Syntax, CSPM |
MathsUnaryOp | CSPM.DataStructures.Syntax, CSPM |
maybeLookup | Util.HierarchicalMap, CSPM.Evaluator.Environment, CSPM.TypeChecker.Environment |
maybeLookupInTopLayer | Util.HierarchicalMap, CSPM.Evaluator.Environment, CSPM.TypeChecker.Environment |
mcompress | CSPM.TypeChecker.Compressor |
member | |
1 (Function) | CSPM.Compiler.Set |
2 (Function) | CSPM.Evaluator.ValueSet |
Minus | CSPM.DataStructures.Syntax, CSPM |
mkErrorMessage | Util.Exception |
mkInternalName | CSPM.DataStructures.Names, CSPM |
mkSymbolInformation | CSPM.TypeChecker.Environment |
mkWarningMessage | Util.Exception |
Mod | CSPM.DataStructures.Syntax, CSPM |
Mode | Util.PrettyPrint |
mode | Util.PrettyPrint |
Model | CSPM.DataStructures.Syntax, CSPM.DataStructures.Tokens, CSPM |
ModelOption | CSPM.DataStructures.Syntax, CSPM |
modify | CSPM.Evaluator.Monad |
modifyTopFileParserState | CSPM.Parser.Monad |
Module | CSPM.DataStructures.Syntax, CSPM |
movePos | CSPM.Parser.Monad |