libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM. (Index - M)

libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.

A
B
C
D
E
F
G
H
I
L
M
N
O
P
Q
R
S
T
U
V
W
Z
$
<
All

Index - M

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
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.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