| __conjure_up [Io] | __conjure_up ()
|
B | |
| bind [Io] | bind an_iomonad a_function
|
| bind [Exception] | bind a_monad a_function
|
| bind [Cc] | bind cc_monad f
|
C | |
| catch [Io] | catch an_iomonad a_handler_function
|
| catch [Exception] | catch a_monad an_exception_handler
|
| close_out [Io] | close_out a_channel
|
| convert [Pa_monad] | convert _loc a_perform_body a_bind_function a_fail_function
|
D | |
| default_bind_expr [Pa_monad] | default_bind_expr _loc
|
| default_failure_expr [Pa_monad] | default_failure_expr _loc
|
| default_failure_fun_expr [Pa_monad] | default_failure_fun_expr _loc
|
E | |
| eval_with_functional_fixture [Utest] | eval_with_functional_fixture a_setup_function a_test_function
|
| eval_with_imperative_fixture [Utest] | eval_with_imperative_fixture a_setup_function a_test_function a_teardown_function
|
| exp_to_patt [Pa_monad] | exp_to_patt _loc an_expression
|
| expect_exception [Utest] | expect_exception a_test_title an_exception a_test_function
|
| expect_fail [Utest] | expect_fail a_test_title a_test_function
|
| expect_pass [Utest] | expect_pass a_test_title a_test_function
|
F | |
| failure_text [Pa_monad] | failure_text
|
I | |
| is_irrefutable_pattern [Pa_monad] | is_irrefutable_pattern a_pattern
|
N | |
| new_prompt [Cc] | new_prompt ()
|
O | |
| open_out [Io] | open_out a_filename
|
| output_char [Io] | output_char a_channel a_char
|
| output_string [Io] | output_string a_channel a_string
|
P | |
| patt_to_exp [Pa_monad] | patt_to_exp _loc a_pattern
|
| patt_to_recbinding [Pa_monad] | patt_to_recbinding _loc a_pattern
|
| prerr_char [Io] | prerr_char a_character
|
| prerr_endline [Io] | prerr_endline a_string
|
| prerr_float [Io] | prerr_float a_float
|
| prerr_int [Io] | prerr_int an_integer
|
| prerr_newline [Io] | prerr_newline ()
|
| prerr_string [Io] | prerr_string a_string
|
| print_char [Io] | print_char a_character
|
| print_endline [Io] | print_endline a_string
|
| print_float [Io] | print_float a_float
|
| print_int [Io] | print_int an_integer
|
| print_newline [Io] | print_newline ()
|
| print_string [Io] | print_string a_string
|
| pushP [Cc] | pushP prompt m
|
Q | |
| qualify [Pa_monad] | qualify _loc a_module_ident a_function_expression
|
R | |
| read_float [Io] | read_float ()
|
| read_int [Io] | read_int ()
|
| read_line [Io] | read_line ()
|
| recbinding_to_patt [Pa_monad] | recbinding_to_pattrec _loc an_exp_record
|
| return [Io] | return a_value
|
| return [Exception] | return a_normal_value
|
| return [Cc] | return a_value
|
| run [Exception] | run a_failure_function a_success_function a_monad
|
| run [Cc] |
Running the monad
|
| run_tests [Utest] | run_tests ~verbose a_list_of_tests
|
S | |
| shiftP [Cc] | shiftP prompt f
|
T | |
| testcase [Utest] | testcase a_test_title an_expected_outcome a_test_function
|
| throw [Io] | throw an_error
|
| throw [Exception] | throw an_exception
|
| tuplify_expr [Pa_monad] | tuplify_expr _loc an_expression_list
|
| tuplify_patt [Pa_monad] | tuplify_patt _loc a_pattern_list
|