Index of types


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]
The type of monadic values.

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.