<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 values</title> </head> <body> <div class="navbar"> <a class="up" href="pa_monad.html" title="Index">Up</a> </div> <h1>Index of values</h1> <table> <tr><td align="left"><br></td></tr> <tr><td><a href="Io.html#VAL__conjure_up">__conjure_up</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">__conjure_up ()</code> </div> </td></tr> <tr><td align="left"><br>B</td></tr> <tr><td><a href="Io.html#VALbind">bind</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">bind an_iomonad a_function</code> </div> </td></tr> <tr><td><a href="Exception.html#VALbind">bind</a> [<a href="Exception.html">Exception</a>]</td> <td><div class="info"> <code class="code">bind a_monad a_function</code> </div> </td></tr> <tr><td><a href="Cc.html#VALbind">bind</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> <code class="code">bind cc_monad f</code> </div> </td></tr> <tr><td align="left"><br>C</td></tr> <tr><td><a href="Io.html#VALcatch">catch</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">catch an_iomonad a_handler_function</code> </div> </td></tr> <tr><td><a href="Exception.html#VALcatch">catch</a> [<a href="Exception.html">Exception</a>]</td> <td><div class="info"> <code class="code">catch a_monad an_exception_handler</code> </div> </td></tr> <tr><td><a href="Io.html#VALclose_out">close_out</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">close_out a_channel</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALconvert">convert</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">convert _loc a_perform_body a_bind_function a_fail_function</code> </div> </td></tr> <tr><td align="left"><br>D</td></tr> <tr><td><a href="Pa_monad.html#VALdefault_bind_expr">default_bind_expr</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">default_bind_expr _loc</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALdefault_failure_expr">default_failure_expr</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">default_failure_expr _loc</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALdefault_failure_fun_expr">default_failure_fun_expr</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">default_failure_fun_expr _loc</code> </div> </td></tr> <tr><td align="left"><br>E</td></tr> <tr><td><a href="Utest.html#VALeval_with_functional_fixture">eval_with_functional_fixture</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">eval_with_functional_fixture a_setup_function a_test_function</code> </div> </td></tr> <tr><td><a href="Utest.html#VALeval_with_imperative_fixture">eval_with_imperative_fixture</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">eval_with_imperative_fixture a_setup_function a_test_function a_teardown_function</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALexp_to_patt">exp_to_patt</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">exp_to_patt _loc an_expression</code> </div> </td></tr> <tr><td><a href="Utest.html#VALexpect_exception">expect_exception</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">expect_exception a_test_title an_exception a_test_function</code> </div> </td></tr> <tr><td><a href="Utest.html#VALexpect_fail">expect_fail</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">expect_fail a_test_title a_test_function</code> </div> </td></tr> <tr><td><a href="Utest.html#VALexpect_pass">expect_pass</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">expect_pass a_test_title a_test_function</code> </div> </td></tr> <tr><td align="left"><br>F</td></tr> <tr><td><a href="Pa_monad.html#VALfailure_text">failure_text</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">failure_text</code> </div> </td></tr> <tr><td align="left"><br>I</td></tr> <tr><td><a href="Pa_monad.html#VALis_irrefutable_pattern">is_irrefutable_pattern</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">is_irrefutable_pattern a_pattern</code> </div> </td></tr> <tr><td align="left"><br>N</td></tr> <tr><td><a href="Cc.html#VALnew_prompt">new_prompt</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> <code class="code">new_prompt ()</code> </div> </td></tr> <tr><td align="left"><br>O</td></tr> <tr><td><a href="Io.html#VALopen_out">open_out</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">open_out a_filename</code> </div> </td></tr> <tr><td><a href="Io.html#VALoutput_char">output_char</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">output_char a_channel a_char</code> </div> </td></tr> <tr><td><a href="Io.html#VALoutput_string">output_string</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">output_string a_channel a_string</code> </div> </td></tr> <tr><td align="left"><br>P</td></tr> <tr><td><a href="Pa_monad.html#VALpatt_to_exp">patt_to_exp</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">patt_to_exp _loc a_pattern</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALpatt_to_recbinding">patt_to_recbinding</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">patt_to_recbinding _loc a_pattern</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_char">prerr_char</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_char a_character</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_endline">prerr_endline</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_endline a_string</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_float">prerr_float</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_float a_float</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_int">prerr_int</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_int an_integer</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_newline">prerr_newline</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_newline ()</code> </div> </td></tr> <tr><td><a href="Io.html#VALprerr_string">prerr_string</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">prerr_string a_string</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_char">print_char</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_char a_character</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_endline">print_endline</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_endline a_string</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_float">print_float</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_float a_float</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_int">print_int</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_int an_integer</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_newline">print_newline</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_newline ()</code> </div> </td></tr> <tr><td><a href="Io.html#VALprint_string">print_string</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">print_string a_string</code> </div> </td></tr> <tr><td><a href="Cc.html#VALpushP">pushP</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> <code class="code">pushP prompt m</code> </div> </td></tr> <tr><td align="left"><br>Q</td></tr> <tr><td><a href="Pa_monad.html#VALqualify">qualify</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">qualify _loc a_module_ident a_function_expression</code> </div> </td></tr> <tr><td align="left"><br>R</td></tr> <tr><td><a href="Io.html#VALread_float">read_float</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">read_float ()</code> </div> </td></tr> <tr><td><a href="Io.html#VALread_int">read_int</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">read_int ()</code> </div> </td></tr> <tr><td><a href="Io.html#VALread_line">read_line</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">read_line ()</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALrecbinding_to_patt">recbinding_to_patt</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">recbinding_to_pattrec _loc an_exp_record</code> </div> </td></tr> <tr><td><a href="Io.html#VALreturn">return</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">return a_value</code> </div> </td></tr> <tr><td><a href="Exception.html#VALreturn">return</a> [<a href="Exception.html">Exception</a>]</td> <td><div class="info"> <code class="code">return a_normal_value</code> </div> </td></tr> <tr><td><a href="Cc.html#VALreturn">return</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> <code class="code">return a_value</code> </div> </td></tr> <tr><td><a href="Exception.html#VALrun">run</a> [<a href="Exception.html">Exception</a>]</td> <td><div class="info"> <code class="code">run a_failure_function a_success_function a_monad</code> </div> </td></tr> <tr><td><a href="Cc.html#VALrun">run</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> Running the monad </div> </td></tr> <tr><td><a href="Utest.html#VALrun_tests">run_tests</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">run_tests ~verbose a_list_of_tests</code> </div> </td></tr> <tr><td align="left"><br>S</td></tr> <tr><td><a href="Cc.html#VALshiftP">shiftP</a> [<a href="Cc.html">Cc</a>]</td> <td><div class="info"> <code class="code">shiftP prompt f</code> </div> </td></tr> <tr><td align="left"><br>T</td></tr> <tr><td><a href="Utest.html#VALtestcase">testcase</a> [<a href="Utest.html">Utest</a>]</td> <td><div class="info"> <code class="code">testcase a_test_title an_expected_outcome a_test_function</code> </div> </td></tr> <tr><td><a href="Io.html#VALthrow">throw</a> [<a href="Io.html">Io</a>]</td> <td><div class="info"> <code class="code">throw an_error</code> </div> </td></tr> <tr><td><a href="Exception.html#VALthrow">throw</a> [<a href="Exception.html">Exception</a>]</td> <td><div class="info"> <code class="code">throw an_exception</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALtuplify_expr">tuplify_expr</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">tuplify_expr _loc an_expression_list</code> </div> </td></tr> <tr><td><a href="Pa_monad.html#VALtuplify_patt">tuplify_patt</a> [<a href="Pa_monad.html">Pa_monad</a>]</td> <td><div class="info"> <code class="code">tuplify_patt _loc a_pattern_list</code> </div> </td></tr> </table> </body> </html>
