C | |
| classifier [Test] |
The type of classifying functions, used to categorize the generated elements.
|
| classifier [Abbreviations.Test] | |
| command [Shell] |
The type of commands, the type parameters being phantom types indicating: whether the command reads data from standard input;, whether the command writes data to standard output;, whether the command writes data to standard error.
|
| command [Abbreviations.Shell] | |
| configuration [Shell] |
The type of shell configuration, defining some syntactic elements.
|
| configuration [Abbreviations.Shell] | |
F | |
| failure [Assertion] |
Description of an assertion failure.
|
| failure [Abbreviations.Assert] | |
G | |
| g [Generator.Gen] |
The type of generated values.
|
L | |
| lazy_list [Enumerator] | |
| lazy_list [Abbreviations.Enum] | |
O | |
| outcome [Specification] |
The type used to model partial functions, that is functions that may
either return a value or raise an exception.
|
| outcome [Generator] |
The type of function outcomes.
|
| outcome [Abbreviations.Spec] | |
| outcome [Abbreviations.Gen] | |
| output_mode [Test] |
The type of output modes, that is how tests result are written.
|
| output_mode [Abbreviations.Test] | |
P | |
| p [Specification.Pred] |
The type of predicate parameters.
|
| predicate [Specification] |
The type of unary predicates.
|
| predicate [Abbreviations.Spec] | |
R | |
| random [Generator] |
The type of random sources.
|
| random [Abbreviations.Gen] | |
| result [Test] |
The type of test outcomes.
|
| result [Abbreviations.Test] | |
T | |
| t [Test] |
The type of tests.
|
| t [Specification] |
The type of specifications, that is: a precondition and a postcondition:
'a is the type for the domain of the function to be tested;, 'b is the type for the codomain (or range) of the function to be tested.
The precondition is thus evaluated over values of the domain. The postcondition
is evaluated over couples where the first element is a value of the domain
while the second one is its image through the tested function.
|
| t [Reducer] |
The type of reducer, a function returning a list of some smaller
elements.
|
| t [Mock] |
The type of mock functions from
'a to 'b.
|
| t [Generator] |
The type of generators, a couple of functions where: the first function generates random values for a given type;, the second function converts values from this type into strings.
|
| t [Enumerator] |
The type of enumerators, a couple of functions where: the first function returns a lazy list used to enumerate values for
a given type (calls should return equal lists);, the second function converts values from this type into strings.
|
| t [Assertion.Printer] |
The type of tested values.
|
| t [Abbreviations.Test] | |
| t [Abbreviations.Mock] | |
| t [Abbreviations.Spec] | |
| t [Abbreviations.Enum] | |
| t [Abbreviations.Gen] |