empty | |
1 (Function) | Util.PrettyPrint |
2 (Function) | CSPM.Compiler.Set |
3 (Function) | CSPM.Compiler.Map |
4 (Function) | CSPM.Evaluator.ValueSet |
emptySet | CSPM.Evaluator.ValueSet |
ensureAreEqual | CSPM.TypeChecker.Common |
ensureExpressionIsOfType | CSPM |
ensureHasConstraint | CSPM.TypeChecker.Common |
ensureIsBool | CSPM.TypeChecker.Common |
ensureIsChannel | CSPM.TypeChecker.Common |
ensureIsEvent | CSPM.TypeChecker.Common |
ensureIsInt | CSPM.TypeChecker.Common |
ensureIsList | CSPM.TypeChecker.Common |
ensureIsProc | CSPM.TypeChecker.Common |
ensureIsSet | CSPM.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 |
Eq | CSPM.DataStructures.Types, CSPM |
Equals | CSPM.DataStructures.Syntax, CSPM |
equals | Util.PrettyPrint |
Error | CSPM.TypeChecker.Exceptions |
ErrorContext | CSPM.TypeChecker.Monad |
errorContext | CSPM.TypeChecker.Common |
errorContexts | CSPM.TypeChecker.Monad |
errorIfFalse | CSPM.TypeChecker.Monad |
errorIfFalseM | CSPM.TypeChecker.Monad |
ErrorMessage | Util.Exception |
ErrorMessages | Util.Exception |
errors | CSPM.TypeChecker.Monad |
eval | CSPM.Evaluator.Expr |
Evaluatable | CSPM.Evaluator.Expr |
Evaluate | CSPM.DataStructures.Syntax, CSPM |
evaluateDecl | CSPM.Evaluator |
evaluateDots | CSPM.TypeChecker.Unification |
evaluateExp | |
1 (Function) | CSPM.Evaluator |
2 (Function) | CSPM |
evaluateFile | CSPM.Evaluator |
EvaluationMonad | CSPM.Evaluator.Monad, CSPM.Evaluator |
EvaluationState | |
1 (Type/Class) | CSPM.Evaluator.Monad, CSPM.Evaluator |
2 (Data Constructor) | CSPM.Evaluator.Monad |
Event | CSPM.Compiler.Events, CSPM.Evaluator.Values |
EventSet | CSPM.Compiler.Events |
Exception | |
1 (Type/Class) | Util.Exception |
2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
Exp | CSPM.DataStructures.Syntax, CSPM |
expandPathIO | Util.Prelude |
ExplicitSet | CSPM.Evaluator.ValueSet |
ExpPatDoublePattern | CSPM.DataStructures.Syntax, CSPM |
ExpPatWildCard | CSPM.DataStructures.Syntax, CSPM |
External | CSPM.DataStructures.Syntax, CSPM |
ExternalChoice | CSPM.DataStructures.Syntax, CSPM |
externalFunctionNotRecognised | CSPM.TypeChecker.Exceptions |
externalFunctions | CSPM.TypeChecker.BuiltInFunctions |