API for s7contract
Behavioral Contracts and Generative Laws for 'S7'
| Global functions | |
|---|---|
| %::% | Man page |
| .abort | Source code |
| .as_class_or_null | Source code |
| .assoc_from_impl | Source code |
| .assoc_value_from_impl | Source code |
| .base_class_of | Source code |
| .bind_rose | Source code |
| .check_required_formals | Source code |
| .check_s7_generic | Source code |
| .check_trait_impl_admissible | Source code |
| .check_type_spec | Source code |
| .check_value_conforms | Source code |
| .checked_generic_call | Source code |
| .class_equal | Source code |
| .class_key | Source code |
| .class_label | Source code |
| .command_predicate | Source code |
| .command_set | Source code |
| .commands_rose | Source code |
| .component_children | Source code |
| .contract_mask | Source code |
| .count_arg | Source code |
| .double_rose | Source code |
| .evaluate_law | Source code |
| .factory_tree | Source code |
| .find_trait_impl | Source code |
| .format_law_coverage | Source code |
| .generator_list_error | Source code |
| .interface_label | Source code |
| .interpolate_double | Source code |
| .is_generator | Source code |
| .is_interface | Source code |
| .is_interface_requirement | Source code |
| .is_trait | Source code |
| .is_trait_method | Source code |
| .lookup_requirement_method | Source code |
| .make_checked_generic | Source code |
| .map_rose | Source code |
| .new_check_result | Source code |
| .new_rose | Source code |
| .normalise_assoc | Source code |
| .normalise_impl_methods | Source code |
| .normalise_interface_generics | Source code |
| .normalise_interface_parents | Source code |
| .normalise_return_spec | Source code |
| .normalise_trait_methods | Source code |
| .normalise_trait_parents | Source code |
| .normalise_type_specs | Source code |
| .onLoad | Source code |
| .print_s7_check_result | Source code |
| .print_s7_interface | Source code |
| .print_s7_trait | Source code |
| .product_rose | Source code |
| .register_s7_method | Source code |
| .requirement_signature | Source code |
| .resolve_assoc_impl | Source code |
| .resolve_command_input | Source code |
| .rose_children | Source code |
| .run_commands | Source code |
| .sample_rose | Source code |
| .sample_size | Source code |
| .sequence_children | Source code |
| .shrink_integer_values | Source code |
| .shrink_law | Source code |
| .spec_as_dispatch_class | Source code |
| .state_shrink_problem | Source code |
| .store_trait_impl | Source code |
| .target_class_or_null | Source code |
| .trait_assoc_consts | Source code |
| .trait_assoc_types | Source code |
| .trait_label | Source code |
| .unfold_rose | Source code |
| .value_error_label | Source code |
| .vector_rose | Source code |
| .with_contract | Source code |
| .with_s7_interface | Source code |
| .with_s7_trait | Source code |
| .with_seed | Source code |
| `%::%` | Source code |
| as_interface | Man page Source code |
| assert_implements | Man page Source code |
| assert_trait | Man page Source code |
| assume | Man page Source code |
| check_law | Man page Source code |
| contract_syntax | Man page |
| expect_law | Man page Source code |
| format_check_result | Man page Source code |
| gen_bind | Man page Source code |
| gen_choice | Man page Source code |
| gen_commands | Man page Source code |
| gen_constant | Man page Source code |
| gen_double | Man page Source code |
| gen_element | Man page Source code |
| gen_example | Man page Source code |
| gen_integer | Man page Source code |
| gen_map | Man page Source code |
| gen_no_shrink | Man page Source code |
| gen_product | Man page Source code |
| gen_recursive | Man page Source code |
| gen_resize | Man page Source code |
| gen_sample | Man page Source code |
| gen_sized | Man page Source code |
| gen_subsequence | Man page Source code |
| gen_vector | Man page Source code |
| has_trait | Man page Source code |
| impl_trait | Man page Source code |
| implements | Man page Source code |
| interface_report | Man page Source code |
| interface_requirement | Man page Source code |
| interface_requirements | Man page Source code |
| missing_requirements | Man page Source code |
| new_command | Man page Source code |
| new_generator | Man page Source code |
| new_interface | Man page Source code |
| new_law | Man page Source code |
| new_state_law | Man page Source code |
| new_trait | Man page Source code |
| s7contract | Man page |
| s7contract-package | Man page |
| trait_assoc_const | Man page Source code |
| trait_assoc_type | Man page Source code |
| trait_call | Man page Source code |
| trait_method | Man page Source code |
| trait_methods | Man page Source code |
| trait_report | Man page Source code |
