| elems | CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| ellipsis | Util.MonadicPrettyPrint |
| empty | |
| 1 (Function) | Util.PrettyPrint |
| 2 (Function) | Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint |
| 3 (Function) | CSPM.Evaluator.ValueSet, CSPM.Evaluator |
| emptySet | CSPM.Evaluator.ValueSet, CSPM.Evaluator |
| ensureAreEqual | CSPM.TypeChecker.Common |
| ensureExpressionIsOfType | CSPM |
| ensureHasConstraint | CSPM.TypeChecker.Common |
| ensureIsBool | CSPM.TypeChecker.Common |
| ensureIsChannel | CSPM.TypeChecker.Common |
| ensureIsEvent | CSPM.TypeChecker.Common |
| ensureIsExtendable | 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 |
| Equals | CSPM.DataStructures.Syntax, CSPM |
| equals | |
| 1 (Function) | Util.PrettyPrint |
| 2 (Function) | Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint |
| 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 | |
| 1 (Type/Class) | Util.Exception |
| 2 (Data Constructor) | Util.Exception |
| ErrorMessages | Util.Exception |
| ErrorOptions | |
| 1 (Type/Class) | CSPM.TypeChecker.Exceptions, CSPM.TypeChecker |
| 2 (Data Constructor) | CSPM.TypeChecker.Exceptions |
| errorOptions | CSPM.TypeChecker.Monad |
| 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 | CSPM.Evaluator |
| evaluateExpression | 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 |
| EvaluatorOptions | |
| 1 (Type/Class) | CSPM.Evaluator, CSPM |
| 2 (Data Constructor) | CSPM.Evaluator, CSPM |
| Event | CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| EventMap | CSPM.Evaluator.ProcessValues, CSPM.Evaluator |
| EventSet | CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| eventSetFromList | CSPM.Evaluator.ProcessValues, CSPM.Evaluator |
| Exception | |
| 1 (Type/Class) | Util.Exception |
| 2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
| exceptionAlphabet | CSPM.DataStructures.Syntax, CSPM |
| exceptionLeftProcess | CSPM.DataStructures.Syntax, CSPM |
| exceptionRightProcess | CSPM.DataStructures.Syntax, CSPM |
| Exp | CSPM.DataStructures.Syntax, CSPM |
| expandPathIO | Util.Prelude |
| Explicate | CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM |
| ExplicitSet | CSPM.Evaluator.ValueSet, CSPM.Evaluator |
| ExpPatDoublePattern | CSPM.DataStructures.Syntax, CSPM |
| ExpPatWildCard | CSPM.DataStructures.Syntax, CSPM |
| extChoiceLeftProcess | CSPM.DataStructures.Syntax, CSPM |
| extChoiceRightOperator | CSPM.DataStructures.Syntax, CSPM |
| extendableArgument | CSPM.DataStructures.Types, CSPM |
| extendableUltimateType | CSPM.DataStructures.Types, CSPM |
| extensions | CSPM.Evaluator.Dot |
| extensionsSet | CSPM.Evaluator.Dot |
| External | CSPM.DataStructures.Syntax, CSPM |
| ExternalChoice | CSPM.DataStructures.Syntax, CSPM |
| externalFunctionForOccName | CSPM.Prelude |
| externalImportedNames | CSPM.DataStructures.Syntax, CSPM |
| ExternalName | CSPM.DataStructures.Names, CSPM |