Global functions | |
---|---|
.onLoad | Source code |
add_back_arg_pos | Source code |
add_exit_protector | Source code |
args_and_kwargs | Man page Source code |
as_list | Source code |
beep | Man page |
beep_with | Man page Source code |
catch_expr | Man page Source code |
catchr-DSL | Man page |
catchr-plans | Man page |
catchr_default_opts | Man page Source code |
catchr_opts | Man page Source code |
check_nodes | Source code |
collect | Man page |
collecting-conditions | Man page |
combine_functions | Source code |
compile_plans | Source code |
default-catchr-options | Man page |
dispense_collected | Man page |
display | Man page |
display_with | Man page Source code |
exit | Man page |
exit_with | Man page Source code |
extract_display_string | Man page Source code |
final_handler_check | Source code |
find_used_symbols | Source code |
first_muffle_restart | Man page Source code |
forced_exit_plan | Source code |
get_default_plan | Man page Source code |
get_padding | Source code |
get_used_specials | Source code |
give_default | Source code |
give_newline | Man page Source code |
has_collect | Source code |
has_handler_args | Man page |
is_catchr_plan | Man page Source code |
join | Source code |
language-of-catchr | Man page |
last_stop | Man page |
make_a_misc_handler_fn | Source code |
make_catch_fn | Man page Source code |
make_compiled_qual | Source code |
make_handler | Source code |
make_plans | Man page Source code |
masking | Man page |
misc | Man page |
muffle | Man page |
order_by_arg_pos | Source code |
print.catchr_compiled_plans | Man page Source code |
raise | Man page |
reserved-conditions | Man page |
reserved-terms | Man page |
restore_catchr_defaults | Man page |
set_default_plan | Man page Source code |
signal_custom_condition | Source code |
summary.catchr_compiled_plans | Man page Source code |
toerror | Man page |
tomessage | Man page |
towarning | Man page |
use_special_terms | Source code |
user_display | Man page Source code |
user_exit | Man page Source code |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.