DataType | CSPM.DataStructures.Syntax, CSPM |
DataTypeClause | |
1 (Type/Class) | CSPM.DataStructures.Syntax, CSPM |
2 (Data Constructor) | CSPM.DataStructures.Syntax, CSPM |
dataTypeClauseName | CSPM.DataStructures.Syntax, CSPM |
dataTypeClauseTypeExpression | CSPM.DataStructures.Syntax, CSPM |
dataTypesAndChannels | CSPM.TypeChecker.Monad |
DeadlockFreedom | CSPM.DataStructures.Syntax, CSPM |
Decl | CSPM.DataStructures.Syntax, CSPM |
delete | CSPM.TypeChecker.Environment |
Dependencies | CSPM.TypeChecker.Dependencies |
dependencies | CSPM.TypeChecker.Dependencies |
dependenciesOfExp | |
1 (Function) | CSPM.TypeChecker |
2 (Function) | CSPM |
deprecatedNameUsed | CSPM.TypeChecker.Exceptions |
deprecatedReplacement | CSPM.Prelude |
deprecationReplacement | CSPM.TypeChecker.Environment |
desugar | CSPM.Desugar |
Desugarable | CSPM.Desugar |
desugarExpression | CSPM |
desugarFile | CSPM |
desugarInteractiveStmt | CSPM |
desugarWithType | CSPM.Desugar |
Deterministic | CSPM.DataStructures.Syntax, CSPM |
Diamond | CSPM.Compiler.Processes, CSPM.Evaluator.Values, CSPM |
difference | |
1 (Function) | CSPM.Compiler.Set |
2 (Function) | CSPM.Evaluator.ValueSet |
disallowSymmetricUnification | CSPM.TypeChecker.Monad |
Divide | CSPM.DataStructures.Syntax, CSPM |
Doc | Util.PrettyPrint |
domain | CSPM.Compiler.Map |
DotApp | CSPM.DataStructures.Syntax, CSPM |
dotAppLeftArgument | CSPM.DataStructures.Syntax, CSPM |
dotAppRighArgument | CSPM.DataStructures.Syntax, CSPM |
dotSep | Util.PrettyPrint |
double | Util.PrettyPrint |
doubleQuotes | Util.PrettyPrint |
dummyAnnotation | Util.Annotated |