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

Index - M

manyErrorsIfFalseCSPM.TypeChecker.Monad
MapCSPM.Compiler.Map
mapMonotonicCSPM.Evaluator.ValueSet
mapPFUtil.PartialFunctions
markAsDeprecatedCSPM.TypeChecker.Monad
markTypeAsUnsafeCSPM.TypeChecker.Monad
Match 
1 (Type/Class)CSPM.DataStructures.Syntax, CSPM
2 (Data Constructor)CSPM.DataStructures.Syntax, CSPM
MathsBinaryOpCSPM.DataStructures.Syntax, CSPM
MathsUnaryOpCSPM.DataStructures.Syntax, CSPM
maybeLookupUtil.HierarchicalMap, CSPM.Evaluator.Environment, CSPM.TypeChecker.Environment
maybeLookupInTopLayerUtil.HierarchicalMap, CSPM.Evaluator.Environment, CSPM.TypeChecker.Environment
mcompressCSPM.TypeChecker.Compressor
member 
1 (Function)CSPM.Compiler.Set
2 (Function)CSPM.Evaluator.ValueSet
MinusCSPM.DataStructures.Syntax, CSPM
mkErrorMessageUtil.Exception
mkInternalNameCSPM.DataStructures.Names, CSPM
mkSymbolInformationCSPM.TypeChecker.Environment
mkWarningMessageUtil.Exception
ModCSPM.DataStructures.Syntax, CSPM
ModeUtil.PrettyPrint
modeUtil.PrettyPrint
ModelCSPM.DataStructures.Syntax, CSPM.DataStructures.Tokens, CSPM
ModelOptionCSPM.DataStructures.Syntax, CSPM
modifyCSPM.Evaluator.Monad
modifyTopFileParserStateCSPM.Parser.Monad
ModuleCSPM.DataStructures.Syntax, CSPM
movePosCSPM.Parser.Monad