hydra.dsl namespace

Subpackages

• hydra.dsl.error namespace
  • Submodules
    • hydra.dsl.error.checking module
      • checking_error_incorrect_unification()
      • checking_error_not_a_forall_type()
      • checking_error_not_a_function_type()
      • checking_error_other()
      • checking_error_type_arity_mismatch()
      • checking_error_type_mismatch()
      • checking_error_unbound_type_variables()
      • checking_error_undefined_term_variable()
      • checking_error_unequal_types()
      • checking_error_unsupported_term_variant()
      • checking_error_untyped_lambda()
      • checking_error_untyped_let_binding()
      • checking_error_untyped_term_variable()
      • incorrect_unification_error()
      • incorrect_unification_error_substitution()
      • incorrect_unification_error_with_substitution()
      • not_a_forall_type_error()
      • not_a_forall_type_error_type()
      • not_a_forall_type_error_type_arguments()
      • not_a_forall_type_error_with_type()
      • not_a_forall_type_error_with_type_arguments()
      • not_a_function_type_error()
      • not_a_function_type_error_type()
      • not_a_function_type_error_with_type()
      • other_checking_error()
      • other_checking_error_message()
      • other_checking_error_path()
      • other_checking_error_with_message()
      • other_checking_error_with_path()
      • type_arity_mismatch_error()
      • type_arity_mismatch_error_actual_arity()
      • type_arity_mismatch_error_expected_arity()
      • type_arity_mismatch_error_type()
      • type_arity_mismatch_error_type_arguments()
      • type_arity_mismatch_error_with_actual_arity()
      • type_arity_mismatch_error_with_expected_arity()
      • type_arity_mismatch_error_with_type()
      • type_arity_mismatch_error_with_type_arguments()
      • type_mismatch_error()
      • type_mismatch_error_actual_type()
      • type_mismatch_error_expected_type()
      • type_mismatch_error_with_actual_type()
      • type_mismatch_error_with_expected_type()
      • unbound_type_variables_error()
      • unbound_type_variables_error_type()
      • unbound_type_variables_error_variables()
      • unbound_type_variables_error_with_type()
      • unbound_type_variables_error_with_variables()
      • undefined_term_variable_checking_error()
      • undefined_term_variable_checking_error_name()
      • undefined_term_variable_checking_error_path()
      • undefined_term_variable_checking_error_with_name()
      • undefined_term_variable_checking_error_with_path()
      • unequal_types_error()
      • unequal_types_error_description()
      • unequal_types_error_types()
      • unequal_types_error_with_description()
      • unequal_types_error_with_types()
      • unsupported_term_variant_error()
      • unsupported_term_variant_error_term_variant()
      • unsupported_term_variant_error_with_term_variant()
      • untyped_let_binding_error()
      • untyped_let_binding_error_binding()
      • untyped_let_binding_error_with_binding()
      • untyped_term_variable_checking_error()
      • untyped_term_variable_checking_error_name()
      • untyped_term_variable_checking_error_path()
      • untyped_term_variable_checking_error_with_name()
      • untyped_term_variable_checking_error_with_path()
    • hydra.dsl.error.core module
      • constant_condition_error()
      • constant_condition_error_location()
      • constant_condition_error_value()
      • constant_condition_error_with_location()
      • constant_condition_error_with_value()
      • duplicate_binding_error()
      • duplicate_binding_error_location()
      • duplicate_binding_error_name()
      • duplicate_binding_error_with_location()
      • duplicate_binding_error_with_name()
      • duplicate_field_error()
      • duplicate_field_error_location()
      • duplicate_field_error_name()
      • duplicate_field_error_with_location()
      • duplicate_field_error_with_name()
      • duplicate_record_type_field_names_error()
      • duplicate_record_type_field_names_error_location()
      • duplicate_record_type_field_names_error_name()
      • duplicate_record_type_field_names_error_with_location()
      • duplicate_record_type_field_names_error_with_name()
      • duplicate_union_type_field_names_error()
      • duplicate_union_type_field_names_error_location()
      • duplicate_union_type_field_names_error_name()
      • duplicate_union_type_field_names_error_with_location()
      • duplicate_union_type_field_names_error_with_name()
      • empty_case_statement_error()
      • empty_case_statement_error_location()
      • empty_case_statement_error_type_name()
      • empty_case_statement_error_with_location()
      • empty_case_statement_error_with_type_name()
      • empty_let_bindings_error()
      • empty_let_bindings_error_location()
      • empty_let_bindings_error_with_location()
      • empty_record_type_error()
      • empty_record_type_error_location()
      • empty_record_type_error_with_location()
      • empty_term_annotation_error()
      • empty_term_annotation_error_location()
      • empty_term_annotation_error_with_location()
      • empty_type_annotation_error()
      • empty_type_annotation_error_location()
      • empty_type_annotation_error_with_location()
      • empty_type_name_in_term_error()
      • empty_type_name_in_term_error_location()
      • empty_type_name_in_term_error_with_location()
      • empty_union_type_error()
      • empty_union_type_error_location()
      • empty_union_type_error_with_location()
      • extra_record_fields_error()
      • extra_record_fields_error_field_names()
      • extra_record_fields_error_location()
      • extra_record_fields_error_type_name()
      • extra_record_fields_error_with_field_names()
      • extra_record_fields_error_with_location()
      • extra_record_fields_error_with_type_name()
      • invalid_forall_parameter_name_error()
      • invalid_forall_parameter_name_error_location()
      • invalid_forall_parameter_name_error_name()
      • invalid_forall_parameter_name_error_with_location()
      • invalid_forall_parameter_name_error_with_name()
      • invalid_lambda_parameter_name_error()
      • invalid_lambda_parameter_name_error_location()
      • invalid_lambda_parameter_name_error_name()
      • invalid_lambda_parameter_name_error_with_location()
      • invalid_lambda_parameter_name_error_with_name()
      • invalid_let_binding_name_error()
      • invalid_let_binding_name_error_location()
      • invalid_let_binding_name_error_name()
      • invalid_let_binding_name_error_with_location()
      • invalid_let_binding_name_error_with_name()
      • invalid_literal_error_type_mismatch()
      • invalid_term_error_constant_condition()
      • invalid_term_error_duplicate_binding()
      • invalid_term_error_duplicate_field()
      • invalid_term_error_empty_case_statement()
      • invalid_term_error_empty_let_bindings()
      • invalid_term_error_empty_term_annotation()
      • invalid_term_error_empty_type_name_in_term()
      • invalid_term_error_extra_record_fields()
      • invalid_term_error_invalid_lambda_parameter_name()
      • invalid_term_error_invalid_let_binding_name()
      • invalid_term_error_invalid_type_lambda_parameter_name()
      • invalid_term_error_missing_case_branches()
      • invalid_term_error_missing_record_fields()
      • invalid_term_error_nested_term_annotation()
      • invalid_term_error_nominal_type_kind_mismatch()
      • invalid_term_error_redundant_wrap_unwrap()
      • invalid_term_error_self_application()
      • invalid_term_error_term_variable_shadowing()
      • invalid_term_error_type_variable_shadowing_in_type_lambda()
      • invalid_term_error_undeclared_variant()
      • invalid_term_error_undefined_term_variable()
      • invalid_term_error_undefined_type_variable_in_binding_type()
      • invalid_term_error_undefined_type_variable_in_lambda_domain()
      • invalid_term_error_undefined_type_variable_in_type_application()
      • invalid_term_error_unknown_case_alternative()
      • invalid_term_error_unknown_primitive_name()
      • invalid_term_error_unknown_projected_field()
      • invalid_term_error_unnecessary_identity_application()
      • invalid_term_error_unresolved_nominal_type()
      • invalid_term_error_untyped_term_variable()
      • invalid_type_error_duplicate_record_type_field_names()
      • invalid_type_error_duplicate_union_type_field_names()
      • invalid_type_error_empty_record_type()
      • invalid_type_error_empty_type_annotation()
      • invalid_type_error_empty_union_type()
      • invalid_type_error_invalid_forall_parameter_name()
      • invalid_type_error_invalid_type_scheme_variable_name()
      • invalid_type_error_nested_type_annotation()
      • invalid_type_error_non_comparable_map_key_type()
      • invalid_type_error_non_comparable_set_element_type()
      • invalid_type_error_single_variant_union()
      • invalid_type_error_type_variable_shadowing_in_forall()
      • invalid_type_error_undefined_type_variable()
      • invalid_type_error_void_in_non_bottom_position()
      • invalid_type_lambda_parameter_name_error()
      • invalid_type_lambda_parameter_name_error_location()
      • invalid_type_lambda_parameter_name_error_name()
      • invalid_type_lambda_parameter_name_error_with_location()
      • invalid_type_lambda_parameter_name_error_with_name()
      • invalid_type_scheme_variable_name_error()
      • invalid_type_scheme_variable_name_error_location()
      • invalid_type_scheme_variable_name_error_name()
      • invalid_type_scheme_variable_name_error_with_location()
      • invalid_type_scheme_variable_name_error_with_name()
      • literal_type_mismatch_error()
      • literal_type_mismatch_error_actual_type()
      • literal_type_mismatch_error_expected_type()
      • literal_type_mismatch_error_with_actual_type()
      • literal_type_mismatch_error_with_expected_type()
      • missing_case_branches_error()
      • missing_case_branches_error_location()
      • missing_case_branches_error_type_name()
      • missing_case_branches_error_variant_names()
      • missing_case_branches_error_with_location()
      • missing_case_branches_error_with_type_name()
      • missing_case_branches_error_with_variant_names()
      • missing_record_fields_error()
      • missing_record_fields_error_field_names()
      • missing_record_fields_error_location()
      • missing_record_fields_error_type_name()
      • missing_record_fields_error_with_field_names()
      • missing_record_fields_error_with_location()
      • missing_record_fields_error_with_type_name()
      • nested_term_annotation_error()
      • nested_term_annotation_error_location()
      • nested_term_annotation_error_with_location()
      • nested_type_annotation_error()
      • nested_type_annotation_error_location()
      • nested_type_annotation_error_with_location()
      • nominal_type_kind_mismatch_error()
      • nominal_type_kind_mismatch_error_actual_variant()
      • nominal_type_kind_mismatch_error_expected_variant()
      • nominal_type_kind_mismatch_error_location()
      • nominal_type_kind_mismatch_error_type_name()
      • nominal_type_kind_mismatch_error_with_actual_variant()
      • nominal_type_kind_mismatch_error_with_expected_variant()
      • nominal_type_kind_mismatch_error_with_location()
      • nominal_type_kind_mismatch_error_with_type_name()
      • non_comparable_map_key_type_error()
      • non_comparable_map_key_type_error_key_type()
      • non_comparable_map_key_type_error_location()
      • non_comparable_map_key_type_error_with_key_type()
      • non_comparable_map_key_type_error_with_location()
      • non_comparable_set_element_type_error()
      • non_comparable_set_element_type_error_element_type()
      • non_comparable_set_element_type_error_location()
      • non_comparable_set_element_type_error_with_element_type()
      • non_comparable_set_element_type_error_with_location()
      • redundant_wrap_unwrap_error()
      • redundant_wrap_unwrap_error_location()
      • redundant_wrap_unwrap_error_type_name()
      • redundant_wrap_unwrap_error_with_location()
      • redundant_wrap_unwrap_error_with_type_name()
      • self_application_error()
      • self_application_error_location()
      • self_application_error_name()
      • self_application_error_with_location()
      • self_application_error_with_name()
      • single_variant_union_error()
      • single_variant_union_error_field_name()
      • single_variant_union_error_location()
      • single_variant_union_error_with_field_name()
      • single_variant_union_error_with_location()
      • term_variable_shadowing_error()
      • term_variable_shadowing_error_location()
      • term_variable_shadowing_error_name()
      • term_variable_shadowing_error_with_location()
      • term_variable_shadowing_error_with_name()
      • type_variable_shadowing_in_forall_error()
      • type_variable_shadowing_in_forall_error_location()
      • type_variable_shadowing_in_forall_error_name()
      • type_variable_shadowing_in_forall_error_with_location()
      • type_variable_shadowing_in_forall_error_with_name()
      • type_variable_shadowing_in_type_lambda_error()
      • type_variable_shadowing_in_type_lambda_error_location()
      • type_variable_shadowing_in_type_lambda_error_name()
      • type_variable_shadowing_in_type_lambda_error_with_location()
      • type_variable_shadowing_in_type_lambda_error_with_name()
      • undeclared_variant_error()
      • undeclared_variant_error_location()
      • undeclared_variant_error_type_name()
      • undeclared_variant_error_variant_name()
      • undeclared_variant_error_with_location()
      • undeclared_variant_error_with_type_name()
      • undeclared_variant_error_with_variant_name()
      • undefined_field_error()
      • undefined_field_error_field_name()
      • undefined_field_error_type_name()
      • undefined_field_error_with_field_name()
      • undefined_field_error_with_type_name()
      • undefined_term_variable_error()
      • undefined_term_variable_error_location()
      • undefined_term_variable_error_name()
      • undefined_term_variable_error_with_location()
      • undefined_term_variable_error_with_name()
      • undefined_type_variable_error()
      • undefined_type_variable_error_location()
      • undefined_type_variable_error_name()
      • undefined_type_variable_error_with_location()
      • undefined_type_variable_error_with_name()
      • undefined_type_variable_in_binding_type_error()
      • undefined_type_variable_in_binding_type_error_location()
      • undefined_type_variable_in_binding_type_error_name()
      • undefined_type_variable_in_binding_type_error_with_location()
      • undefined_type_variable_in_binding_type_error_with_name()
      • undefined_type_variable_in_lambda_domain_error()
      • undefined_type_variable_in_lambda_domain_error_location()
      • undefined_type_variable_in_lambda_domain_error_name()
      • undefined_type_variable_in_lambda_domain_error_with_location()
      • undefined_type_variable_in_lambda_domain_error_with_name()
      • undefined_type_variable_in_type_application_error()
      • undefined_type_variable_in_type_application_error_location()
      • undefined_type_variable_in_type_application_error_name()
      • undefined_type_variable_in_type_application_error_with_location()
      • undefined_type_variable_in_type_application_error_with_name()
      • unexpected_term_variant_error()
      • unexpected_term_variant_error_actual_term()
      • unexpected_term_variant_error_expected_variant()
      • unexpected_term_variant_error_with_actual_term()
      • unexpected_term_variant_error_with_expected_variant()
      • unexpected_type_variant_error()
      • unexpected_type_variant_error_actual_type()
      • unexpected_type_variant_error_expected_variant()
      • unexpected_type_variant_error_with_actual_type()
      • unexpected_type_variant_error_with_expected_variant()
      • unknown_case_alternative_error()
      • unknown_case_alternative_error_location()
      • unknown_case_alternative_error_name()
      • unknown_case_alternative_error_type_name()
      • unknown_case_alternative_error_with_location()
      • unknown_case_alternative_error_with_name()
      • unknown_case_alternative_error_with_type_name()
      • unknown_primitive_name_error()
      • unknown_primitive_name_error_location()
      • unknown_primitive_name_error_name()
      • unknown_primitive_name_error_with_location()
      • unknown_primitive_name_error_with_name()
      • unknown_projected_field_error()
      • unknown_projected_field_error_field_name()
      • unknown_projected_field_error_location()
      • unknown_projected_field_error_type_name()
      • unknown_projected_field_error_with_field_name()
      • unknown_projected_field_error_with_location()
      • unknown_projected_field_error_with_type_name()
      • unnecessary_identity_application_error()
      • unnecessary_identity_application_error_location()
      • unnecessary_identity_application_error_with_location()
      • unresolved_nominal_type_error()
      • unresolved_nominal_type_error_location()
      • unresolved_nominal_type_error_type_name()
      • unresolved_nominal_type_error_with_location()
      • unresolved_nominal_type_error_with_type_name()
      • untyped_term_variable_error()
      • untyped_term_variable_error_location()
      • untyped_term_variable_error_name()
      • untyped_term_variable_error_with_location()
      • untyped_term_variable_error_with_name()
      • void_in_non_bottom_position_error()
      • void_in_non_bottom_position_error_location()
      • void_in_non_bottom_position_error_with_location()
    • hydra.dsl.error.file module
      • file_error_already_exists()
      • file_error_invalid_path()
      • file_error_not_found()
      • file_error_other()
      • file_error_permission_denied()
    • hydra.dsl.error.packaging module
      • conflicting_module_name_error()
      • conflicting_module_name_error_first()
      • conflicting_module_name_error_second()
      • conflicting_module_name_error_with_first()
      • conflicting_module_name_error_with_second()
      • conflicting_variant_name_error()
      • conflicting_variant_name_error_conflicting_name()
      • conflicting_variant_name_error_module_name()
      • conflicting_variant_name_error_type_name()
      • conflicting_variant_name_error_variant_name()
      • conflicting_variant_name_error_with_conflicting_name()
      • conflicting_variant_name_error_with_module_name()
      • conflicting_variant_name_error_with_type_name()
      • conflicting_variant_name_error_with_variant_name()
      • definition_not_in_module_name_error()
      • definition_not_in_module_name_error_module_name()
      • definition_not_in_module_name_error_name()
      • definition_not_in_module_name_error_with_module_name()
      • definition_not_in_module_name_error_with_name()
      • definitions_out_of_order_error()
      • definitions_out_of_order_error_following_name()
      • definitions_out_of_order_error_module_name()
      • definitions_out_of_order_error_preceding_name()
      • definitions_out_of_order_error_with_following_name()
      • definitions_out_of_order_error_with_module_name()
      • definitions_out_of_order_error_with_preceding_name()
      • duplicate_definition_name_error()
      • duplicate_definition_name_error_module_name()
      • duplicate_definition_name_error_name()
      • duplicate_definition_name_error_with_module_name()
      • duplicate_definition_name_error_with_name()
      • duplicate_module_name_error()
      • duplicate_module_name_error_module_name()
      • duplicate_module_name_error_with_module_name()
      • invalid_definition_name_error()
      • invalid_definition_name_error_expected_convention()
      • invalid_definition_name_error_module_name()
      • invalid_definition_name_error_name()
      • invalid_definition_name_error_with_expected_convention()
      • invalid_definition_name_error_with_module_name()
      • invalid_definition_name_error_with_name()
      • invalid_module_error_conflicting_variant_name()
      • invalid_module_error_definition_not_in_module_name()
      • invalid_module_error_definitions_out_of_order()
      • invalid_module_error_duplicate_definition_name()
      • invalid_module_error_invalid_definition_name()
      • invalid_module_error_invalid_module_name_convention()
      • invalid_module_error_missing_documentation()
      • invalid_module_name_convention_error()
      • invalid_module_name_convention_error_module_name()
      • invalid_module_name_convention_error_with_module_name()
      • invalid_package_error_conflicting_module_name()
      • invalid_package_error_duplicate_module_name()
      • invalid_package_error_invalid_module()
      • invalid_package_error_invalid_package_name()
      • invalid_package_error_undeclared_dependency()
      • invalid_package_name_error()
      • invalid_package_name_error_package_name()
      • invalid_package_name_error_with_package_name()
      • missing_documentation_error()
      • missing_documentation_error_module_name()
      • missing_documentation_error_name()
      • missing_documentation_error_with_module_name()
      • missing_documentation_error_with_name()
      • undeclared_dependency_error()
      • undeclared_dependency_error_module_name()
      • undeclared_dependency_error_owning_module_name()
      • undeclared_dependency_error_referenced_name()
      • undeclared_dependency_error_with_module_name()
      • undeclared_dependency_error_with_owning_module_name()
      • undeclared_dependency_error_with_referenced_name()
    • hydra.dsl.error.system module
      • system_error_command_not_found()
      • system_error_invalid_working_directory()
      • system_error_other()
      • system_error_permission_denied()
• hydra.dsl.extract namespace
  • Submodules
    • hydra.dsl.extract.json module
      • expect_array()
      • expect_number()
      • expect_object()
      • expect_string()
      • opt()
      • opt_array()
      • opt_string()
      • require()
      • require_array()
      • require_number()
      • require_string()
      • show_value()
• hydra.dsl.json namespace
  • Subpackages
    • hydra.dsl.json.yaml namespace
      • Submodules
  • Submodules
    • hydra.dsl.json.bootstrap module
    • hydra.dsl.json.decode module
      • decode_float()
      • decode_integer()
      • decode_literal()
      • expect_array()
      • expect_number()
      • expect_object()
      • expect_string()
      • from_json()
      • parse_special_float()
      • parse_special_float32()
    • hydra.dsl.json.decoding module
      • decode_array()
      • decode_boolean()
      • decode_field()
      • decode_object()
      • decode_optional_field()
      • decode_string()
    • hydra.dsl.json.encode module
      • encode_float()
      • encode_integer()
      • encode_literal()
      • requires_json_string_sentinel()
      • to_json()
      • to_json_untyped()
    • hydra.dsl.json.model module
      • value_array()
      • value_boolean()
      • value_number()
      • value_object()
      • value_string()
    • hydra.dsl.json.parser module
      • parse_json()
      • token()
    • hydra.dsl.json.writer module
      • hex_byte()
      • json_string()
      • key_value_to_expr()
      • print_json()
      • value_to_expr()
• hydra.dsl.lib namespace
  • Submodules
    • hydra.dsl.lib.chars module
      • is_alpha()
      • is_alpha_num()
      • is_digit()
      • is_lower()
      • is_space()
      • is_upper()
      • to_lower()
      • to_upper()
    • hydra.dsl.lib.defaults module
    • hydra.dsl.lib.effects module
      • apply()
      • bind()
      • compose()
      • fold_list()
      • map()
      • map_list()
      • map_optional()
      • map_set()
      • pure()
    • hydra.dsl.lib.eithers module
      • apply()
      • bimap()
      • bind()
      • compose()
      • either()
      • fold_list()
      • is_left()
      • is_right()
      • left()
      • lefts()
      • map()
      • map_list()
      • map_optional()
      • map_set()
      • partition()
      • right()
      • rights()
    • hydra.dsl.lib.equality module
      • equal()
      • not_equal()
    • hydra.dsl.lib.files module
      • append_file()
      • copy()
      • create_directory()
      • create_symlink()
      • exists()
      • list_directory()
      • read_file()
      • read_symlink()
      • remove_directory()
      • remove_file()
      • rename()
      • status()
      • write_file()
    • hydra.dsl.lib.functions module
      • compose()
      • const()
      • flip()
      • identity()
    • hydra.dsl.lib.lists module
      • apply()
      • at()
      • bind()
      • compose()
      • concat()
      • concat2()
      • cons()
      • distinct()
      • drop()
      • drop_while()
      • filter()
      • find()
      • fold_list()
      • foldl()
      • foldr()
      • group()
      • head()
      • init()
      • intersperse()
      • is_empty()
      • join()
      • last()
      • length()
      • map()
      • map_list()
      • map_optional()
      • map_set()
      • member()
      • partition()
      • replicate()
      • reverse()
      • singleton()
      • sort()
      • sort_by()
      • span()
      • tail()
      • take()
      • take_while()
      • transpose()
      • uncons()
      • zip()
      • zip_with()
    • hydra.dsl.lib.literals module
      • base64_to_binary()
      • bigint_to_decimal()
      • bigint_to_int16()
      • bigint_to_int32()
      • bigint_to_int64()
      • bigint_to_int8()
      • bigint_to_uint16()
      • bigint_to_uint32()
      • bigint_to_uint64()
      • bigint_to_uint8()
      • binary_to_base64()
      • binary_to_bytes()
      • decimal_to_bigint()
      • decimal_to_float32()
      • decimal_to_float64()
      • float32_to_decimal()
      • float32_to_float64()
      • float64_to_decimal()
      • float64_to_float32()
      • int16_to_bigint()
      • int32_to_bigint()
      • int64_to_bigint()
      • int8_to_bigint()
      • parse_bigint()
      • parse_boolean()
      • parse_decimal()
      • parse_float32()
      • parse_float64()
      • parse_int16()
      • parse_int32()
      • parse_int64()
      • parse_int8()
      • parse_string()
      • parse_uint16()
      • parse_uint32()
      • parse_uint64()
      • parse_uint8()
      • print_bigint()
      • print_boolean()
      • print_decimal()
      • print_float32()
      • print_float64()
      • print_int16()
      • print_int32()
      • print_int64()
      • print_int8()
      • print_string()
      • print_uint16()
      • print_uint32()
      • print_uint64()
      • print_uint8()
      • uint16_to_bigint()
      • uint32_to_bigint()
      • uint64_to_bigint()
      • uint8_to_bigint()
    • hydra.dsl.lib.logic module
      • and_()
      • if_else()
      • not_()
      • or_()
    • hydra.dsl.lib.maps module
      • alter()
      • bimap()
      • delete()
      • difference()
      • elems()
      • empty()
      • filter()
      • filter_with_key()
      • find_with_default()
      • from_list()
      • insert()
      • intersection()
      • is_empty()
      • keys()
      • lookup()
      • map()
      • map_keys()
      • member()
      • singleton()
      • size()
      • to_list()
      • union()
      • unions()
    • hydra.dsl.lib.math module
      • abs()
      • acos()
      • acosh()
      • add()
      • add_float64()
      • asin()
      • asinh()
      • atan()
      • atan2()
      • atanh()
      • ceiling()
      • cos()
      • cosh()
      • div()
      • divide()
      • even()
      • exp()
      • floor()
      • log()
      • log_base()
      • mod()
      • mul()
      • mul_float64()
      • negate()
      • negate_float64()
      • odd()
      • pow()
      • range_()
      • rem()
      • round()
      • round_float32()
      • round_float64()
      • signum()
      • sin()
      • sinh()
      • sqrt()
      • sub()
      • sub_float64()
      • tan()
      • tanh()
      • truncate()
    • hydra.dsl.lib.optionals module
      • apply()
      • bind()
      • compose()
      • fold_list()
      • given()
      • givens()
      • is_given()
      • is_none()
      • map()
      • map_list()
      • map_optional()
      • map_set()
      • match()
      • to_list()
      • with_default()
    • hydra.dsl.lib.ordering module
      • compare()
      • gt()
      • gte()
      • lt()
      • lte()
      • max()
      • min()
    • hydra.dsl.lib.pairs module
      • bimap()
      • first()
      • pair()
      • second()
    • hydra.dsl.lib.regex module
      • find()
      • find_all()
      • matches()
      • replace()
      • replace_all()
      • split()
    • hydra.dsl.lib.sets module
      • delete()
      • difference()
      • empty()
      • filter()
      • from_list()
      • insert()
      • intersection()
      • is_empty()
      • map()
      • member()
      • singleton()
      • size()
      • to_list()
      • union()
      • unions()
    • hydra.dsl.lib.strings module
      • char_at()
      • concat()
      • concat2()
      • from_list()
      • is_empty()
      • join()
      • length()
      • split_on()
      • to_list()
      • to_lower()
      • to_upper()
    • hydra.dsl.lib.system module
      • execute()
      • exit()
      • get_environment_variable()
      • write_stderr()
      • write_stdout()
    • hydra.dsl.lib.text module
      • decode_utf8()
      • encode_utf8()
• hydra.dsl.print namespace
  • Submodules
    • hydra.dsl.print.docs module
      • definition_reference()
      • doc_segment()
      • doc_segment_with()
      • doc_segments()
      • doc_segments_with()
      • entity_reference()
      • render_doc_string()
      • render_doc_string_with()
• hydra.dsl.test namespace
  • Submodules
    • hydra.dsl.test.transform module
      • add_generation_prefix()
      • build_convert_case_call()
      • build_topological_sort_call()
      • build_topological_sort_s_c_c_call()
      • collect_test_cases()
      • encode_adjacency_list()
      • encode_case_convention()
      • encode_either_list_list()
      • encode_int()
      • encode_int_list()
      • encode_list_list()
      • transform_module()
      • transform_test_case()
      • transform_to_compiled_tests()
    • hydra.dsl.test.utils module
      • infer_term()
      • infer_test_case()
      • infer_test_group_terms()
• hydra.dsl.yaml namespace
  • Submodules
    • hydra.dsl.yaml.model module
      • node_mapping()
      • node_scalar()
      • node_sequence()
      • scalar_bool()
      • scalar_decimal()
      • scalar_float()
      • scalar_int()
      • scalar_str()

Submodules

• hydra.dsl.analysis module
  • add_names_to_module_names()
  • analyze_function_term()
  • analyze_function_term_with()
  • analyze_function_term_with_finish()
  • analyze_function_term_with_gather()
  • definition_dependency_module_names()
  • dependency_module_names()
  • gather_applications()
  • gather_args()
  • gather_args_with_type_apps()
  • is_self_tail_recursive()
  • is_simple_assignment()
  • is_tail_recursive_in_tail_position()
  • module_contains_binary_literals()
  • module_contains_decimal_literals()
  • module_dependency_module_names()
  • module_names_for_definitions()
• hydra.dsl.annotations module
  • aggregate_annotations()
  • comments_from_binding()
  • comments_from_field_type()
  • get_annotation_map()
  • get_description()
  • get_term_annotation()
  • get_term_description()
  • get_type()
  • get_type_annotation()
  • get_type_classes()
  • get_type_description()
  • has_description()
  • has_type_description()
  • is_native_type()
  • normalize_term_annotations()
  • normalize_type_annotations()
  • set_annotation()
  • set_description()
  • set_term_annotation()
  • set_term_description()
  • set_type()
  • set_type_annotation()
  • set_type_classes()
  • set_type_description()
  • term_annotation_internal()
  • type_annotation_internal()
  • wrap_annotation_map()
• hydra.dsl.arity module
  • primitive_arity()
  • term_arity()
  • type_arity()
  • type_scheme_arity()
  • uncurry_type()
• hydra.dsl.ast module
  • block_style()
  • block_style_indent()
  • block_style_newline_after_content()
  • block_style_newline_before_content()
  • block_style_with_indent()
  • block_style_with_newline_after_content()
  • block_style_with_newline_before_content()
  • bracket_expr()
  • bracket_expr_brackets()
  • bracket_expr_enclosed()
  • bracket_expr_style()
  • bracket_expr_with_brackets()
  • bracket_expr_with_enclosed()
  • bracket_expr_with_style()
  • brackets()
  • brackets_close()
  • brackets_open()
  • brackets_with_close()
  • brackets_with_open()
  • expr_brackets()
  • expr_const()
  • expr_indent()
  • expr_op()
  • expr_seq()
  • indent_style_all_lines()
  • indent_style_subsequent_lines()
  • indented_expression()
  • indented_expression_expr()
  • indented_expression_style()
  • indented_expression_with_expr()
  • indented_expression_with_style()
  • op()
  • op_associativity()
  • op_expr()
  • op_expr_lhs()
  • op_expr_op()
  • op_expr_rhs()
  • op_expr_with_lhs()
  • op_expr_with_op()
  • op_expr_with_rhs()
  • op_padding()
  • op_precedence()
  • op_symbol()
  • op_with_associativity()
  • op_with_padding()
  • op_with_precedence()
  • op_with_symbol()
  • padding()
  • padding_left()
  • padding_right()
  • padding_with_left()
  • padding_with_right()
  • precedence()
  • seq_expr()
  • seq_expr_elements()
  • seq_expr_op()
  • seq_expr_with_elements()
  • seq_expr_with_op()
  • symbol()
  • un_precedence()
  • un_symbol()
  • ws_break_and_indent()
• hydra.dsl.checking module
  • all_equal()
  • apply_type_arguments_to_type()
  • check_for_unbound_type_variables()
  • check_same_type()
  • check_type_subst()
  • contains_in_scope_type_vars()
  • normalize_type_free_vars()
  • to_f_context()
  • type_lists_effectively_equal()
  • type_of()
  • type_of_annotated_term()
  • type_of_application()
  • type_of_case_statement()
  • type_of_either()
  • type_of_injection()
  • type_of_lambda()
  • type_of_let()
  • type_of_list()
  • type_of_literal()
  • type_of_map()
  • type_of_maybe()
  • type_of_pair()
  • type_of_primitive()
  • type_of_projection()
  • type_of_record()
  • type_of_set()
  • type_of_term()
  • type_of_type_application()
  • type_of_type_lambda()
  • type_of_unit()
  • type_of_unwrap()
  • type_of_variable()
  • type_of_wrapped_term()
  • types_all_effectively_equal()
  • types_effectively_equal()
• hydra.dsl.coders module
  • adapter()
  • adapter_coder()
  • adapter_context()
  • adapter_context_adapters()
  • adapter_context_graph()
  • adapter_context_language()
  • adapter_context_with_adapters()
  • adapter_context_with_graph()
  • adapter_context_with_language()
  • adapter_is_lossy()
  • adapter_source()
  • adapter_target()
  • adapter_with_coder()
  • adapter_with_is_lossy()
  • adapter_with_source()
  • adapter_with_target()
  • bicoder()
  • bicoder_decode()
  • bicoder_encode()
  • bicoder_with_decode()
  • bicoder_with_encode()
  • case_conventions()
  • case_conventions_constant()
  • case_conventions_directory()
  • case_conventions_enum_value()
  • case_conventions_field()
  • case_conventions_file()
  • case_conventions_module()
  • case_conventions_term()
  • case_conventions_term_variable()
  • case_conventions_type()
  • case_conventions_type_variable()
  • case_conventions_with_constant()
  • case_conventions_with_directory()
  • case_conventions_with_enum_value()
  • case_conventions_with_field()
  • case_conventions_with_file()
  • case_conventions_with_module()
  • case_conventions_with_term()
  • case_conventions_with_term_variable()
  • case_conventions_with_type()
  • case_conventions_with_type_variable()
  • coder()
  • coder_decode()
  • coder_encode()
  • coder_with_decode()
  • coder_with_encode()
  • decode_adapter()
  • decode_bicoder()
  • decode_coder()
  • encode_adapter()
  • encode_bicoder()
  • encode_coder()
  • language()
  • language_case_conventions()
  • language_constraints()
  • language_constraints2()
  • language_constraints_float_types()
  • language_constraints_integer_types()
  • language_constraints_literal_variants()
  • language_constraints_term_variants()
  • language_constraints_type_variants()
  • language_constraints_types()
  • language_constraints_with_float_types()
  • language_constraints_with_integer_types()
  • language_constraints_with_literal_variants()
  • language_constraints_with_term_variants()
  • language_constraints_with_type_variants()
  • language_constraints_with_types()
  • language_default_file_extension()
  • language_name()
  • language_name2()
  • language_supported_features()
  • language_with_case_conventions()
  • language_with_constraints()
  • language_with_default_file_extension()
  • language_with_name()
  • language_with_supported_features()
  • un_language_name()
• hydra.dsl.constants module
• hydra.dsl.core module
  • annotated_term()
  • annotated_term_annotation()
  • annotated_term_body()
  • annotated_term_with_annotation()
  • annotated_term_with_body()
  • annotated_type()
  • annotated_type_annotation()
  • annotated_type_body()
  • annotated_type_with_annotation()
  • annotated_type_with_body()
  • application()
  • application_argument()
  • application_function()
  • application_type()
  • application_type_argument()
  • application_type_function()
  • application_type_with_argument()
  • application_type_with_function()
  • application_with_argument()
  • application_with_function()
  • binding()
  • binding_name()
  • binding_term()
  • binding_type_scheme()
  • binding_with_name()
  • binding_with_term()
  • binding_with_type_scheme()
  • case_alternative()
  • case_alternative_handler()
  • case_alternative_name()
  • case_alternative_with_handler()
  • case_alternative_with_name()
  • case_statement()
  • case_statement_cases()
  • case_statement_default()
  • case_statement_type_name()
  • case_statement_with_cases()
  • case_statement_with_default()
  • case_statement_with_type_name()
  • either_type()
  • either_type_left()
  • either_type_right()
  • either_type_with_left()
  • either_type_with_right()
  • field()
  • field_name()
  • field_term()
  • field_type()
  • field_type_name()
  • field_type_type()
  • field_type_with_name()
  • field_type_with_type()
  • field_with_name()
  • field_with_term()
  • float_value_float32()
  • float_value_float64()
  • forall_type()
  • forall_type_body()
  • forall_type_parameter()
  • forall_type_with_body()
  • forall_type_with_parameter()
  • function_type()
  • function_type_codomain()
  • function_type_domain()
  • function_type_with_codomain()
  • function_type_with_domain()
  • injection()
  • injection_field()
  • injection_type_name()
  • injection_with_field()
  • injection_with_type_name()
  • integer_value_bigint()
  • integer_value_int16()
  • integer_value_int32()
  • integer_value_int64()
  • integer_value_int8()
  • integer_value_uint16()
  • integer_value_uint32()
  • integer_value_uint64()
  • integer_value_uint8()
  • lambda_()
  • lambda_body()
  • lambda_domain()
  • lambda_parameter()
  • lambda_with_body()
  • lambda_with_domain()
  • lambda_with_parameter()
  • let()
  • let_bindings()
  • let_body()
  • let_with_bindings()
  • let_with_body()
  • literal_binary()
  • literal_boolean()
  • literal_decimal()
  • literal_float()
  • literal_integer()
  • literal_string()
  • literal_type_float()
  • literal_type_integer()
  • map_type()
  • map_type_keys()
  • map_type_values()
  • map_type_with_keys()
  • map_type_with_values()
  • name()
  • pair_type()
  • pair_type_first()
  • pair_type_second()
  • pair_type_with_first()
  • pair_type_with_second()
  • projection()
  • projection_field_name()
  • projection_type_name()
  • projection_with_field_name()
  • projection_with_type_name()
  • record()
  • record_fields()
  • record_type_name()
  • record_with_fields()
  • record_with_type_name()
  • term_annotated()
  • term_application()
  • term_cases()
  • term_either()
  • term_inject()
  • term_lambda()
  • term_let()
  • term_list()
  • term_literal()
  • term_map()
  • term_optional()
  • term_pair()
  • term_project()
  • term_record()
  • term_set()
  • term_type_application()
  • term_type_lambda()
  • term_unwrap()
  • term_variable()
  • term_wrap()
  • type_annotated()
  • type_application()
  • type_application_term()
  • type_application_term_body()
  • type_application_term_type()
  • type_application_term_with_body()
  • type_application_term_with_type()
  • type_class_constraint_simple()
  • type_effect()
  • type_either()
  • type_forall()
  • type_function()
  • type_lambda()
  • type_lambda_body()
  • type_lambda_parameter()
  • type_lambda_with_body()
  • type_lambda_with_parameter()
  • type_list()
  • type_literal()
  • type_map()
  • type_optional()
  • type_pair()
  • type_record()
  • type_scheme()
  • type_scheme_body()
  • type_scheme_constraints()
  • type_scheme_variables()
  • type_scheme_with_body()
  • type_scheme_with_constraints()
  • type_scheme_with_variables()
  • type_set()
  • type_union()
  • type_variable()
  • type_variable_constraints()
  • type_variable_constraints_classes()
  • type_variable_constraints_with_classes()
  • type_wrap()
  • un_name()
  • wrapped_term()
  • wrapped_term_body()
  • wrapped_term_type_name()
  • wrapped_term_with_body()
  • wrapped_term_with_type_name()
• hydra.dsl.dependencies module
  • definitions_with_dependencies()
  • flatten_let_terms()
  • inline_type()
  • is_lambda()
  • lift_lambda_above_let()
  • prune_let()
  • replace_typedefs()
  • simplify_term()
  • term_dependency_names()
  • to_short_names()
  • topological_sort_binding_map()
  • topological_sort_bindings()
  • topological_sort_type_definitions()
  • type_dependency_names()
  • type_names_in_type()
• hydra.dsl.docs module
  • doc_segment_ref()
  • doc_segment_text()
• hydra.dsl.environment module
  • definition_as_type_application_term()
  • graph_as_let()
  • graph_as_term()
  • graph_as_types()
  • partition_definitions()
  • reorder_defs()
  • schema_graph_to_typing_environment()
  • term_as_bindings()
  • types_to_definitions()
  • with_lambda_context()
  • with_let_context()
  • with_type_lambda_context()
• hydra.dsl.errors module
  • decoding_error()
  • error_checking()
  • error_decoding()
  • error_duplicate_binding()
  • error_duplicate_field()
  • error_extraction()
  • error_inference()
  • error_invalid_literal()
  • error_other()
  • error_resolution()
  • error_undefined_field()
  • error_undefined_term_variable()
  • error_unexpected_term_variant()
  • error_unexpected_type_variant()
  • error_unification()
  • error_untyped_term_variable()
  • extraction_error_empty_list()
  • extraction_error_multiple_bindings()
  • extraction_error_multiple_fields()
  • extraction_error_no_matching_field()
  • extraction_error_no_such_binding()
  • extraction_error_not_enough_cases()
  • extraction_error_unexpected_shape()
  • inference_error_checking()
  • inference_error_other()
  • inference_error_unification()
  • multiple_bindings_error()
  • multiple_bindings_error_name()
  • multiple_bindings_error_with_name()
  • multiple_fields_error()
  • multiple_fields_error_field_name()
  • multiple_fields_error_with_field_name()
  • no_matching_field_error()
  • no_matching_field_error_field_name()
  • no_matching_field_error_with_field_name()
  • no_such_binding_error()
  • no_such_binding_error_name()
  • no_such_binding_error_with_name()
  • no_such_primitive_error()
  • no_such_primitive_error_name()
  • no_such_primitive_error_with_name()
  • other_error()
  • other_inference_error()
  • other_inference_error_message()
  • other_inference_error_path()
  • other_inference_error_with_message()
  • other_inference_error_with_path()
  • other_resolution_error()
  • resolution_error_no_matching_field()
  • resolution_error_no_such_binding()
  • resolution_error_no_such_primitive()
  • resolution_error_other()
  • resolution_error_unexpected_shape()
  • un_decoding_error()
  • un_other_error()
  • un_other_resolution_error()
  • unexpected_shape_error()
  • unexpected_shape_error_actual()
  • unexpected_shape_error_expected()
  • unexpected_shape_error_with_actual()
  • unexpected_shape_error_with_expected()
  • unification_error()
  • unification_error_left_type()
  • unification_error_message()
  • unification_error_right_type()
  • unification_error_with_left_type()
  • unification_error_with_message()
  • unification_error_with_right_type()
  • unification_inference_error()
  • unification_inference_error_cause()
  • unification_inference_error_path()
  • unification_inference_error_with_cause()
  • unification_inference_error_with_path()
• hydra.dsl.file module
  • file_extension()
  • file_path()
  • file_status()
  • file_status_access_time()
  • file_status_file_type()
  • file_status_modification_time()
  • file_status_size()
  • file_status_status_change_time()
  • file_status_with_access_time()
  • file_status_with_file_type()
  • file_status_with_modification_time()
  • file_status_with_size()
  • file_status_with_status_change_time()
  • un_file_extension()
  • un_file_path()
• hydra.dsl.formatting module
  • capitalize()
  • convert_case()
  • convert_case_camel_or_underscore_to_lower_snake()
  • convert_case_camel_to_lower_snake()
  • convert_case_camel_to_upper_snake()
  • convert_case_pascal_to_upper_snake()
  • decapitalize()
  • escape_with_underscore()
  • indent_lines()
  • java_style_comment()
  • lines()
  • map_first_letter()
  • non_alnum_to_underscores()
  • normalize_comment()
  • sanitize_with_underscores()
  • show_list()
  • strip_leading_and_trailing_whitespace()
  • unlines()
  • with_character_aliases()
  • wrap_line()
• hydra.dsl.graph module
  • decode_term_coder()
  • encode_term_coder()
  • graph()
  • graph_bound_terms()
  • graph_bound_types()
  • graph_class_constraints()
  • graph_lambda_variables()
  • graph_metadata()
  • graph_primitives()
  • graph_schema_types()
  • graph_type_variables()
  • graph_with_bound_terms()
  • graph_with_bound_types()
  • graph_with_class_constraints()
  • graph_with_lambda_variables()
  • graph_with_metadata()
  • graph_with_primitives()
  • graph_with_schema_types()
  • graph_with_type_variables()
  • library()
  • library_name()
  • library_prefix()
  • library_primitives()
  • library_with_name()
  • library_with_prefix()
  • library_with_primitives()
  • primitive()
  • primitive_definition()
  • primitive_implementation()
  • primitive_with_definition()
  • primitive_with_implementation()
  • term_coder()
  • term_coder_decode()
  • term_coder_encode()
  • term_coder_type()
  • term_coder_with_decode()
  • term_coder_with_encode()
  • term_coder_with_type()
• hydra.dsl.lexical module
  • build_graph()
  • choose_unique_name()
  • dereference_schema_type()
  • dereference_variable()
  • elements_to_graph()
  • fields_of()
  • get_field()
  • graph_to_bindings()
  • graph_with_primitives()
  • lookup_binding()
  • lookup_primitive()
  • lookup_term()
  • match_enum()
  • match_record()
  • match_union()
  • match_unit_field()
  • require_binding()
  • require_primitive()
  • require_primitive_type()
  • require_term()
  • resolve_term()
  • strip_and_dereference_term()
  • strip_and_dereference_term_either()
• hydra.dsl.names module
  • choose_unique_label()
  • compact_name()
  • derived_binding_name()
  • derived_definition_name()
  • derived_module_name()
  • fresh_name()
  • fresh_names()
  • local_name_of()
  • module_name_of()
  • module_name_to_file_path()
  • name_to_file_path()
  • normal_type_variable()
  • push_subterm_step()
  • qname()
  • qualify_name()
  • restore_trace()
  • unqualify_name()
• hydra.dsl.packaging module
  • definition_primitive()
  • definition_reference_primitive()
  • definition_reference_term()
  • definition_reference_type()
  • definition_term()
  • definition_type()
  • entity_metadata()
  • entity_metadata_comments()
  • entity_metadata_description()
  • entity_metadata_lifecycle()
  • entity_metadata_see_also()
  • entity_metadata_with_comments()
  • entity_metadata_with_description()
  • entity_metadata_with_lifecycle()
  • entity_metadata_with_see_also()
  • entity_reference_definition()
  • entity_reference_module()
  • entity_reference_package()
  • entity_reference_term_expr()
  • entity_reference_type_expr()
  • lifecycle_info()
  • lifecycle_info_available_since()
  • lifecycle_info_deprecated_since()
  • lifecycle_info_with_available_since()
  • lifecycle_info_with_deprecated_since()
  • module()
  • module_definitions()
  • module_dependencies()
  • module_dependency()
  • module_dependency_module()
  • module_dependency_package()
  • module_dependency_with_module()
  • module_dependency_with_package()
  • module_metadata()
  • module_name()
  • module_name2()
  • module_with_definitions()
  • module_with_dependencies()
  • module_with_metadata()
  • module_with_name()
  • package()
  • package_dependencies()
  • package_dependency()
  • package_dependency_name()
  • package_dependency_scope()
  • package_dependency_version()
  • package_dependency_with_name()
  • package_dependency_with_scope()
  • package_dependency_with_version()
  • package_metadata()
  • package_modules()
  • package_name()
  • package_name2()
  • package_with_dependencies()
  • package_with_metadata()
  • package_with_modules()
  • package_with_name()
  • primitive_definition()
  • primitive_definition_default_implementation()
  • primitive_definition_is_pure()
  • primitive_definition_is_total()
  • primitive_definition_metadata()
  • primitive_definition_name()
  • primitive_definition_signature()
  • primitive_definition_with_default_implementation()
  • primitive_definition_with_is_pure()
  • primitive_definition_with_is_total()
  • primitive_definition_with_metadata()
  • primitive_definition_with_name()
  • primitive_definition_with_signature()
  • term_definition()
  • term_definition_body()
  • term_definition_metadata()
  • term_definition_name()
  • term_definition_signature()
  • term_definition_with_body()
  • term_definition_with_metadata()
  • term_definition_with_name()
  • term_definition_with_signature()
  • type_definition()
  • type_definition_body()
  • type_definition_metadata()
  • type_definition_name()
  • type_definition_with_body()
  • type_definition_with_metadata()
  • type_definition_with_name()
  • un_module_name()
  • un_package_name()
  • un_version()
  • version()
  • version_range()
  • version_range_lower_inclusive()
  • version_range_upper_exclusive()
  • version_range_with_lower_inclusive()
  • version_range_with_upper_exclusive()
  • version_specifier_at_least()
  • version_specifier_exact()
  • version_specifier_range()
• hydra.dsl.parsing module
  • decode_parse_result()
  • decode_parse_success()
  • decode_parser()
  • encode_parse_result()
  • encode_parse_success()
  • encode_parser()
  • parse_error()
  • parse_error_message()
  • parse_error_remainder()
  • parse_error_with_message()
  • parse_error_with_remainder()
  • parse_result_failure()
  • parse_result_success()
  • parse_success()
  • parse_success_remainder()
  • parse_success_value()
  • parse_success_with_remainder()
  • parse_success_with_value()
  • parser()
  • un_parser()
• hydra.dsl.paths module
  • subterm_attribute()
  • subterm_attribute_path()
  • subterm_attribute_target()
  • subterm_attribute_with_path()
  • subterm_attribute_with_target()
  • subterm_edge()
  • subterm_edge_path()
  • subterm_edge_target()
  • subterm_edge_with_path()
  • subterm_edge_with_target()
  • subterm_graph()
  • subterm_graph_nodes()
  • subterm_graph_with_nodes()
  • subterm_link_attribute()
  • subterm_link_edge()
  • subterm_link_property()
  • subterm_node()
  • subterm_node_links()
  • subterm_node_name()
  • subterm_node_type()
  • subterm_node_with_links()
  • subterm_node_with_name()
  • subterm_node_with_type()
  • subterm_path()
  • subterm_property()
  • subterm_property_path()
  • subterm_property_target()
  • subterm_property_with_path()
  • subterm_property_with_target()
  • subterm_step_cases_case()
  • subterm_step_inject_field()
  • subterm_step_let_binding()
  • subterm_step_list_element()
  • subterm_step_map_key()
  • subterm_step_map_value()
  • subterm_step_record_field()
  • subterm_step_set_element()
  • subtype_attribute()
  • subtype_attribute_path()
  • subtype_attribute_target()
  • subtype_attribute_with_path()
  • subtype_attribute_with_target()
  • subtype_edge()
  • subtype_edge_path()
  • subtype_edge_target()
  • subtype_edge_with_path()
  • subtype_edge_with_target()
  • subtype_graph()
  • subtype_graph_nodes()
  • subtype_graph_with_nodes()
  • subtype_link_attribute()
  • subtype_link_edge()
  • subtype_link_property()
  • subtype_node()
  • subtype_node_links()
  • subtype_node_name()
  • subtype_node_with_links()
  • subtype_node_with_name()
  • subtype_path()
  • subtype_property()
  • subtype_property_path()
  • subtype_property_target()
  • subtype_property_with_path()
  • subtype_property_with_target()
  • subtype_step_record_field()
  • subtype_step_union_field()
  • term_attribute_cases_type_name()
  • term_attribute_inject_type_name()
  • term_attribute_lambda_domain_given()
  • term_attribute_lambda_parameter()
  • term_attribute_let_binding_type_scheme_given()
  • term_attribute_project_field_name()
  • term_attribute_project_type_name()
  • term_attribute_record_type_name()
  • term_attribute_type_application_type()
  • term_attribute_type_lambda_parameter()
  • term_attribute_wrap_type_name()
  • type_attribute_annotated_annotation()
  • type_attribute_forall_parameter()
  • un_subterm_path()
  • un_subtype_path()
• hydra.dsl.predicates module
  • is_complex_binding()
  • is_complex_term()
  • is_complex_variable()
  • is_encoded_term()
  • is_encoded_type()
  • is_enum_row_type()
  • is_enum_type()
  • is_nominal_type()
  • is_serializable()
  • is_serializable_by_name()
  • is_serializable_type()
  • is_trivial_term()
  • is_type()
  • is_unit_term()
  • is_unit_type()
  • type_dependencies()
• hydra.dsl.query module
  • edge()
  • edge_in()
  • edge_out()
  • edge_type()
  • edge_with_in()
  • edge_with_out()
  • edge_with_type()
  • graph_pattern()
  • graph_pattern_graph()
  • graph_pattern_patterns()
  • graph_pattern_with_graph()
  • graph_pattern_with_patterns()
  • node_term()
  • node_variable()
  • path_equation()
  • path_equation_left()
  • path_equation_right()
  • path_equation_with_left()
  • path_equation_with_right()
  • path_inverse()
  • path_regex()
  • path_step()
  • pattern_conjunction()
  • pattern_disjunction()
  • pattern_graph()
  • pattern_implication()
  • pattern_implication_antecedent()
  • pattern_implication_consequent()
  • pattern_implication_with_antecedent()
  • pattern_implication_with_consequent()
  • pattern_negation()
  • pattern_triple()
  • query()
  • query_patterns()
  • query_variables()
  • query_with_patterns()
  • query_with_variables()
  • range_()
  • range_max()
  • range_min()
  • range_with_max()
  • range_with_min()
  • regex_quantifier_at_least()
  • regex_quantifier_exactly()
  • regex_quantifier_range()
  • regex_sequence()
  • regex_sequence_path()
  • regex_sequence_quantifier()
  • regex_sequence_with_path()
  • regex_sequence_with_quantifier()
  • step_compare()
  • step_edge()
  • step_project()
  • triple_pattern()
  • triple_pattern_object()
  • triple_pattern_predicate()
  • triple_pattern_subject()
  • triple_pattern_with_object()
  • triple_pattern_with_predicate()
  • triple_pattern_with_subject()
  • un_variable()
  • variable()
• hydra.dsl.reduction module
  • alpha_convert()
  • beta_reduce_type()
  • contract_term()
  • eta_expand_term()
  • eta_expand_typed_term()
  • eta_expansion_arity()
  • eta_reduce_term()
  • reduce_term()
  • term_is_closed()
  • term_is_value()
• hydra.dsl.refs module
  • decode_ref()
  • encode_list()
  • encode_map()
  • encode_optional()
  • encode_pair()
  • encode_ref()
  • encode_set()
  • show_ref()
• hydra.dsl.regex module
  • atom_class()
  • atom_group()
  • atom_literal()
  • character_class()
  • character_class_items()
  • character_class_negated()
  • character_class_with_items()
  • character_class_with_negated()
  • character_range()
  • character_range_from()
  • character_range_to()
  • character_range_with_from()
  • character_range_with_to()
  • class_item_character()
  • class_item_range()
  • quantified()
  • quantified_atom()
  • quantified_quantifier()
  • quantified_with_atom()
  • quantified_with_quantifier()
  • quantifier_at_least()
  • quantifier_exactly()
  • quantifier_range()
  • quantifier_range2()
  • quantifier_range_max()
  • quantifier_range_min()
  • quantifier_range_with_max()
  • quantifier_range_with_min()
• hydra.dsl.relational module
  • column_name()
  • column_schema()
  • column_schema_domain()
  • column_schema_name()
  • column_schema_with_domain()
  • column_schema_with_name()
  • decode_column_schema()
  • decode_relation()
  • decode_relation_schema()
  • decode_relationship()
  • decode_row()
  • encode_column_schema()
  • encode_relation()
  • encode_relation_schema()
  • encode_relationship()
  • encode_row()
  • foreign_key()
  • foreign_key_foreign_relation()
  • foreign_key_keys()
  • foreign_key_with_foreign_relation()
  • foreign_key_with_keys()
  • primary_key()
  • relation()
  • relation_name()
  • relation_schema()
  • relation_schema_columns()
  • relation_schema_foreign_keys()
  • relation_schema_name()
  • relation_schema_primary_keys()
  • relation_schema_with_columns()
  • relation_schema_with_foreign_keys()
  • relation_schema_with_name()
  • relation_schema_with_primary_keys()
  • relationship()
  • row()
  • un_column_name()
  • un_primary_key()
  • un_relation()
  • un_relation_name()
  • un_relationship()
  • un_row()
• hydra.dsl.resolution module
  • dereference_type()
  • f_type_is_polymorphic()
  • field_map()
  • field_type_map()
  • field_types()
  • find_field_type()
  • fully_strip_and_normalize_type()
  • fully_strip_type()
  • instantiate_type()
  • instantiate_type_scheme()
  • map_key_resolves_to_string()
  • nominal_application()
  • require_record_type()
  • require_row_type()
  • require_schema_type()
  • require_type()
  • require_union_field()
  • require_union_type()
  • resolve_base_type()
  • resolve_type()
  • type_to_type_scheme()
• hydra.dsl.rewriting module
  • apply_inside_type_lambdas_and_annotations()
  • fold_over_term()
  • fold_over_type()
  • fold_term_with_graph_and_path()
  • map_beneath_type_annotations()
  • rewrite_and_fold_term()
  • rewrite_and_fold_term_with_graph()
  • rewrite_and_fold_term_with_graph_and_path()
  • rewrite_and_fold_term_with_path()
  • rewrite_term()
  • rewrite_term_m()
  • rewrite_term_with_context()
  • rewrite_term_with_context_m()
  • rewrite_term_with_graph()
  • rewrite_type()
  • rewrite_type_m()
  • subterms()
  • subterms_with_steps()
  • subtypes()
  • subtypes_with_steps()
  • wrap_term_to_record()
  • wrap_type_to_record()
• hydra.dsl.scoping module
  • extend_graph_for_lambda()
  • extend_graph_for_let()
  • extend_graph_for_type_lambda()
  • extend_graph_with_bindings()
  • f_type_to_type_scheme()
  • term_signature_to_type_scheme()
  • type_scheme_to_f_type()
  • type_scheme_to_term_signature()
• hydra.dsl.serialization module
  • angle_braces_list()
  • braces_list_adaptive()
  • bracket_list()
  • bracket_list_adaptive()
  • brackets()
  • choose_layout()
  • comma_sep()
  • comma_sep_adaptive()
  • cst()
  • curly_block()
  • curly_braces_list()
  • custom_indent()
  • custom_indent_block()
  • dot_sep()
  • double_newline_sep()
  • expression_length()
  • ifx()
  • indent()
  • indent_block()
  • indent_subsequent_lines()
  • infix_ws()
  • infix_ws_list()
  • newline_sep()
  • no_sep()
  • num()
  • op()
  • or_op()
  • or_sep()
  • paren_list()
  • paren_list_adaptive()
  • parens()
  • parenthesize()
  • prefix()
  • print_expr()
  • semicolon_sep()
  • sep()
  • space_sep()
  • space_sep_adaptive()
  • structural_sep()
  • structural_space_sep()
  • suffix()
  • sym()
  • symbol_sep()
  • tab_indent()
  • tab_indent_double_space()
  • tab_indent_single_space()
  • unsupported_type()
  • unsupported_variant()
  • with_comma()
  • with_semi()
• hydra.dsl.sorting module
  • adjacency_list_to_map()
  • adjacency_lists_to_graph()
  • create_ordering_isomorphism()
  • find_reachable_nodes()
  • pop_stack_until()
  • propagate_tags()
  • strong_connect()
  • strongly_connected_components()
  • topological_sort()
  • topological_sort_components()
  • topological_sort_nodes()
• hydra.dsl.strip module
  • deannotate_and_detype_term()
  • deannotate_term()
  • deannotate_type()
  • deannotate_type_parameters()
  • deannotate_type_recursive()
  • deannotate_type_scheme_recursive()
  • detype_term()
  • remove_term_annotations()
  • remove_type_annotations()
  • remove_type_annotations_from_term()
  • remove_types_from_term()
  • strip_type_lambdas()
• hydra.dsl.system module
  • command()
  • command_arguments()
  • command_environment()
  • command_program()
  • command_with_arguments()
  • command_with_environment()
  • command_with_program()
  • command_with_working_directory()
  • command_working_directory()
  • environment_variable()
  • process_result()
  • process_result_exit_code()
  • process_result_stderr()
  • process_result_stdout()
  • process_result_with_exit_code()
  • process_result_with_stderr()
  • process_result_with_stdout()
  • status_code()
  • un_environment_variable()
  • un_status_code()
• hydra.dsl.tabular module
  • column_type()
  • column_type_name()
  • column_type_type()
  • column_type_with_name()
  • column_type_with_type()
  • data_row()
  • decode_data_row()
  • decode_table()
  • encode_data_row()
  • encode_table()
  • header_row()
  • table()
  • table_data()
  • table_header()
  • table_type()
  • table_type_columns()
  • table_type_name()
  • table_type_with_columns()
  • table_type_with_name()
  • table_with_data()
  • table_with_header()
  • un_data_row()
  • un_header_row()
• hydra.dsl.testing module
  • effectful_test_case()
  • effectful_test_case_actual()
  • effectful_test_case_expected()
  • effectful_test_case_with_actual()
  • effectful_test_case_with_expected()
  • tag()
  • test_case_effectful()
  • test_case_universal()
  • test_case_with_metadata()
  • test_case_with_metadata_case()
  • test_case_with_metadata_description()
  • test_case_with_metadata_name()
  • test_case_with_metadata_tags()
  • test_case_with_metadata_with_case()
  • test_case_with_metadata_with_description()
  • test_case_with_metadata_with_name()
  • test_case_with_metadata_with_tags()
  • test_group()
  • test_group_cases()
  • test_group_description()
  • test_group_name()
  • test_group_subgroups()
  • test_group_with_cases()
  • test_group_with_description()
  • test_group_with_name()
  • test_group_with_subgroups()
  • un_tag()
  • universal_test_case()
  • universal_test_case_actual()
  • universal_test_case_expected()
  • universal_test_case_with_actual()
  • universal_test_case_with_expected()
• hydra.dsl.time module
  • timespec()
  • timespec_nanoseconds()
  • timespec_seconds()
  • timespec_with_nanoseconds()
  • timespec_with_seconds()
• hydra.dsl.topology module
  • decode_ordering_isomorphism()
  • encode_ordering_isomorphism()
  • ordering_isomorphism()
  • ordering_isomorphism_decode()
  • ordering_isomorphism_encode()
  • ordering_isomorphism_with_decode()
  • ordering_isomorphism_with_encode()
  • tarjan_state()
  • tarjan_state_counter()
  • tarjan_state_indices()
  • tarjan_state_low_links()
  • tarjan_state_on_stack()
  • tarjan_state_sccs()
  • tarjan_state_stack()
  • tarjan_state_with_counter()
  • tarjan_state_with_indices()
  • tarjan_state_with_low_links()
  • tarjan_state_with_on_stack()
  • tarjan_state_with_sccs()
  • tarjan_state_with_stack()
• hydra.dsl.typing module
  • decode_function_structure()
  • encode_function_structure()
  • function_structure()
  • function_structure_bindings()
  • function_structure_body()
  • function_structure_codomain()
  • function_structure_domains()
  • function_structure_environment()
  • function_structure_params()
  • function_structure_type_params()
  • function_structure_with_bindings()
  • function_structure_with_body()
  • function_structure_with_codomain()
  • function_structure_with_domains()
  • function_structure_with_environment()
  • function_structure_with_params()
  • function_structure_with_type_params()
  • inference_context()
  • inference_context_fresh_type_variable_count()
  • inference_context_trace()
  • inference_context_with_fresh_type_variable_count()
  • inference_context_with_trace()
  • inference_result()
  • inference_result_class_constraints()
  • inference_result_context()
  • inference_result_subst()
  • inference_result_term()
  • inference_result_type()
  • inference_result_with_class_constraints()
  • inference_result_with_context()
  • inference_result_with_subst()
  • inference_result_with_term()
  • inference_result_with_type()
  • parameter()
  • parameter_description()
  • parameter_is_lazy()
  • parameter_name()
  • parameter_type()
  • parameter_with_description()
  • parameter_with_is_lazy()
  • parameter_with_name()
  • parameter_with_type()
  • result()
  • result_description()
  • result_type()
  • result_with_description()
  • result_with_type()
  • term_signature()
  • term_signature_parameters()
  • term_signature_result()
  • term_signature_type_parameters()
  • term_signature_with_parameters()
  • term_signature_with_result()
  • term_signature_with_type_parameters()
  • term_subst()
  • type_class()
  • type_class_description()
  • type_class_with_description()
  • type_constraint()
  • type_constraint_comment()
  • type_constraint_left()
  • type_constraint_right()
  • type_constraint_with_comment()
  • type_constraint_with_left()
  • type_constraint_with_right()
  • type_parameter()
  • type_parameter_constraints()
  • type_parameter_name()
  • type_parameter_with_constraints()
  • type_parameter_with_name()
  • type_subst()
  • un_term_subst()
  • un_type_subst()
• hydra.dsl.util module
  • decode_module_names()
  • encode_module_names()
  • module_names()
  • module_names_focus()
  • module_names_mapping()
  • module_names_with_focus()
  • module_names_with_mapping()
  • precision_bits()
  • qualified_name()
  • qualified_name_local()
  • qualified_name_module_name()
  • qualified_name_with_local()
  • qualified_name_with_module_name()
• hydra.dsl.validation module
  • decode_validation_result()
  • encode_validation_result()
  • validation_profile()
  • validation_profile_error_rules()
  • validation_profile_max_errors()
  • validation_profile_max_warnings()
  • validation_profile_warning_rules()
  • validation_profile_with_error_rules()
  • validation_profile_with_max_errors()
  • validation_profile_with_max_warnings()
  • validation_profile_with_warning_rules()
  • validation_result()
  • validation_result_errors()
  • validation_result_warnings()
  • validation_result_with_errors()
  • validation_result_with_warnings()
• hydra.dsl.variables module
  • free_type_variables_in_term()
  • free_variables_in_term()
  • free_variables_in_type()
  • free_variables_in_type_ordered()
  • free_variables_in_type_scheme()
  • free_variables_in_type_scheme_simple()
  • free_variables_in_type_simple()
  • is_free_variable_in_term()
  • normalize_type_variables_in_term()
  • replace_free_term_variable()
  • replace_free_type_variable()
  • substitute_type_variables()
  • substitute_variable()
  • substitute_variables()
  • unshadow_variables()
• hydra.dsl.variants module