<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="pa_monad.html">
<link title="Index of types" rel=Appendix href="pa_monad_types.html">
<link title="Index of exceptions" rel=Appendix href="pa_monad_exceptions.html">
<link title="Index of values" rel=Appendix href="pa_monad_values.html">
<link title="Index of modules" rel=Appendix href="pa_monad_modules.html">
<link title="Pa_monad" rel="Chapter" href="Pa_monad.html">
<link title="Cc" rel="Chapter" href="Cc.html">
<link title="Exception" rel="Chapter" href="Exception.html">
<link title="Io" rel="Chapter" href="Io.html">
<link title="Utest" rel="Chapter" href="Utest.html"><title>Index of types</title>
</head>
<body>
<center><h1>Index of types</h1></center>
<table>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Io.html#TYPEeither">either</a> [<a href="Io.html">Io</a>]</td>
<td></td></tr>
<tr><td><a href="Io.html#TYPEerror">error</a> [<a href="Io.html">Io</a>]</td>
<td><div class="info">
Possible errors during an IO-operation.
</div>
</td></tr>
<tr><td><a href="Utest.html#TYPEexpected_test_outcome">expected_test_outcome</a> [<a href="Utest.html">Utest</a>]</td>
<td><div class="info">
The outcome of a test case as the writer of the test suite expects
it to be.
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Cc.html#TYPEm">m</a> [<a href="Cc.html">Cc</a>]</td>
<td><div class="info">
The type of monadic values.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Cc.html#TYPEprompt">prompt</a> [<a href="Cc.html">Cc</a>]</td>
<td><div class="info">
The type of prompts.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Io.html#TYPEt">t</a> [<a href="Io.html">Io</a>]</td>
<td><div class="info">
An IO-monad of type <code class="code">'a</code> takes the current world and produces
either a correct value (of type <code class="code">'a</code> or an <code class="code">error</code> and a new world.
</div>
</td></tr>
<tr><td><a href="Exception.html#TYPEt">t</a> [<a href="Exception.html">Exception</a>]</td>
<td><div class="info">
Type of an exception monad.
</div>
</td></tr>
<tr><td><a href="Utest.html#TYPEtest">test</a> [<a href="Utest.html">Utest</a>]</td>
<td><div class="info">
A test itself.
</div>
</td></tr>
<tr><td><a href="Utest.html#TYPEtest_outcome">test_outcome</a> [<a href="Utest.html">Utest</a>]</td>
<td><div class="info">
The actual outcome of a test case after it has been run.
</div>
</td></tr>
<tr><td><a href="Utest.html#TYPEtest_results">test_results</a> [<a href="Utest.html">Utest</a>]</td>
<td><div class="info">
Results of some tests.
</div>
</td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="Utest.html#TYPEverbosity">verbosity</a> [<a href="Utest.html">Utest</a>]</td>
<td></td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Io.html#TYPEworld">world</a> [<a href="Io.html">Io</a>]</td>
<td><div class="info">
The imperative, "outside" world the <em>functional</em> IO-monad deals with.
</div>
</td></tr>
</table><br>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
4e6d7c8ed19900cd06e1799a07228807
>
files
>
35
