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

Index - E

empty 
1 (Function)Util.PrettyPrint
2 (Function)CSPM.Compiler.Set
3 (Function)CSPM.Compiler.Map
4 (Function)CSPM.Evaluator.ValueSet
emptySetCSPM.Evaluator.ValueSet
ensureAreEqualCSPM.TypeChecker.Common
ensureExpressionIsOfTypeCSPM
ensureHasConstraintCSPM.TypeChecker.Common
ensureIsBoolCSPM.TypeChecker.Common
ensureIsChannelCSPM.TypeChecker.Common
ensureIsEventCSPM.TypeChecker.Common
ensureIsIntCSPM.TypeChecker.Common
ensureIsListCSPM.TypeChecker.Common
ensureIsProcCSPM.TypeChecker.Common
ensureIsSetCSPM.TypeChecker.Common
Environment 
1 (Type/Class)CSPM.Evaluator.Environment
2 (Type/Class)CSPM.TypeChecker.Environment
environment 
1 (Function)CSPM.Evaluator.Monad
2 (Function)CSPM.TypeChecker.Monad
EqCSPM.DataStructures.Types, CSPM
EqualsCSPM.DataStructures.Syntax, CSPM
equalsUtil.PrettyPrint
ErrorCSPM.TypeChecker.Exceptions
ErrorContextCSPM.TypeChecker.Monad
errorContextCSPM.TypeChecker.Common
errorContextsCSPM.TypeChecker.Monad
errorIfFalseCSPM.TypeChecker.Monad
errorIfFalseMCSPM.TypeChecker.Monad
ErrorMessageUtil.Exception
ErrorMessagesUtil.Exception
errorsCSPM.TypeChecker.Monad
evalCSPM.Evaluator.Expr
EvaluatableCSPM.Evaluator.Expr
EvaluateCSPM.DataStructures.Syntax, CSPM
evaluateDeclCSPM.Evaluator
evaluateDotsCSPM.TypeChecker.Unification
evaluateExp 
1 (Function)CSPM.Evaluator
2 (Function)CSPM
evaluateFileCSPM.Evaluator
EvaluationMonadCSPM.Evaluator.Monad, CSPM.Evaluator
EvaluationState 
1 (Type/Class)CSPM.Evaluator.Monad, CSPM.Evaluator
2 (Data Constructor)CSPM.Evaluator.Monad
EventCSPM.Compiler.Events, CSPM.Evaluator.Values
EventSetCSPM.Compiler.Events
Exception 
1 (Type/Class)Util.Exception
2 (Data Constructor)CSPM.DataStructures.Syntax, CSPM
ExpCSPM.DataStructures.Syntax, CSPM
expandPathIOUtil.Prelude
ExplicitSetCSPM.Evaluator.ValueSet
ExpPatDoublePatternCSPM.DataStructures.Syntax, CSPM
ExpPatWildCardCSPM.DataStructures.Syntax, CSPM
ExternalCSPM.DataStructures.Syntax, CSPM
ExternalChoiceCSPM.DataStructures.Syntax, CSPM
externalFunctionNotRecognisedCSPM.TypeChecker.Exceptions
externalFunctionsCSPM.TypeChecker.BuiltInFunctions