E | |
| either [Io] | |
| error [Io] |
Possible errors during an IO-operation.
|
| expected_test_outcome [Utest] |
The outcome of a test case as the writer of the test suite expects
it to be.
|
M | |
| m [Cc] | |
P | |
| prompt [Cc] |
The type of prompts.
|
T | |
| t [Io] |
An IO-monad of type
'a takes the current world and produces
either a correct value (of type 'a or an error and a new world.
|
| t [Exception] |
Type of an exception monad.
|
| test [Utest] |
A test itself.
|
| test_outcome [Utest] |
The actual outcome of a test case after it has been run.
|
| test_results [Utest] |
Results of some tests.
|
V | |
| verbosity [Utest] | |
W | |
| world [Io] |
The imperative, "outside" world the functional IO-monad deals with.
|