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
- 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