libcspm-1.0.0: A library providing a parser, type checker and evaluator for CSPM. (Index - D)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
!
$
/
<
All

Index - D

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
dataTypeInfo	CSPM.Evaluator.Dot
datatypeIsComparableForEquality	CSPM.TypeChecker.Monad
DeadlockFreedom	CSPM.DataStructures.Syntax, CSPM
Decl	CSPM.DataStructures.Syntax, CSPM
defaultErrorOptions	CSPM.TypeChecker.Exceptions
defaultEvaluatorOptions	CSPM.Evaluator, CSPM
defaultOptions	CSPM.CommandLineOptions
defaultProfilerOptions	CSPM.Evaluator.Profiler, CSPM.Evaluator, CSPM
definitionSpanFileError	CSPM.Parser.Exceptions
definitionStack	CSPM.TypeChecker.Monad
delete	CSPM.TypeChecker.Environment
deprecatedNameUsed	CSPM.TypeChecker.Exceptions
deprecatedReplacement	CSPM.Prelude
deprecationReplacement	CSPM.TypeChecker.Environment
desugar	CSPM.Desugar
Desugarable	CSPM.Desugar
desugarExpression	CSPM
desugarFile	CSPM
desugarInteractiveStmt	CSPM
Determinise	CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
Deterministic	CSPM.DataStructures.Syntax, CSPM
Diamond	CSPM.Evaluator.ProcessValues, CSPM.Evaluator.Values, CSPM.Evaluator, CSPM
difference	CSPM.Evaluator.ValueSet, CSPM.Evaluator
disallowSymmetricUnification	CSPM.TypeChecker.Monad
Divide	CSPM.DataStructures.Syntax, CSPM
divideByZeroMessage	CSPM.Evaluator.Exceptions
Doc	Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint, Util.PrettyPrint
doRuntimeRangeChecks	CSPM.Evaluator.Monad
dotableToDotList	CSPM.TypeChecker.Unification
DotApp	CSPM.DataStructures.Syntax, CSPM
dotAppLeftArgument	CSPM.DataStructures.Syntax, CSPM
dotAppRighArgument	CSPM.DataStructures.Syntax, CSPM
dotIsNotValidMessage	CSPM.Evaluator.Exceptions
dotSep
1 (Function)	Util.MonadicPrettyPrint
2 (Function)	Util.PrettyPrint
double
1 (Function)	Util.PrettyPrint
2 (Function)	Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
doubleQuotes
1 (Function)	Util.PrettyPrint
2 (Function)	Util.MonadicPrettyPrintInternal, Util.MonadicPrettyPrint
dummyAnnotation	Util.Annotated