API for kcf-jackson/typeChecker
Static Type Checking
| Global functions | |
|---|---|
| add_callback | Source code |
| add_full_names | Source code |
| annotate_expr | Man page Source code |
| apply_assignment_type | Source code |
| apply_fun_def_type | Source code |
| apply_type | Source code |
| apply_unit_type | Source code |
| assign_env | Source code |
| check_matching_numbers_of_arguments | Source code |
| cyan | Source code |
| deparse2 | Source code |
| error_msg | Source code |
| eval_annotation_type | Source code |
| eval_assignment_type | Source code |
| eval_closure_type | Source code |
| eval_constant_type | Source code |
| eval_fun_call_type | Source code |
| eval_fun_def_type | Source code |
| eval_symbol_type | Source code |
| eval_type | Man page Source code |
| getParseTable | Source code |
| interpreter | Source code |
| intersect_type | Source code |
| match_type | Source code |
| merge_type | Source code |
| new_env | Source code |
| num_free_args | Source code |
| parse_arg_num_error | Source code |
| parse_error | Source code |
| parse_position | Source code |
| parse_type_error | Source code |
| push | Source code |
| remove_types_from_file | Man page Source code |
| safe_paste | Source code |
| store | Source code |
| strip_style | Source code |
| typeChecker | Man page |
| typeChecker-package | Man page |
| type_check | Man page Source code |
| type_check_active | Man page Source code |
