hydra.encode.error namespace

Submodules

• hydra.encode.error.checking module
  • checking_error()
  • incorrect_unification_error()
  • not_a_forall_type_error()
  • not_a_function_type_error()
  • other_checking_error()
  • type_arity_mismatch_error()
  • type_mismatch_error()
  • unbound_type_variables_error()
  • undefined_term_variable_checking_error()
  • unequal_types_error()
  • unsupported_term_variant_error()
  • untyped_lambda_error()
  • untyped_let_binding_error()
  • untyped_term_variable_checking_error()
• hydra.encode.error.core module
  • constant_condition_error()
  • duplicate_binding_error()
  • duplicate_field_error()
  • duplicate_record_type_field_names_error()
  • duplicate_union_type_field_names_error()
  • empty_case_statement_error()
  • empty_let_bindings_error()
  • empty_record_type_error()
  • empty_term_annotation_error()
  • empty_type_annotation_error()
  • empty_type_name_in_term_error()
  • empty_union_type_error()
  • extra_record_fields_error()
  • invalid_forall_parameter_name_error()
  • invalid_lambda_parameter_name_error()
  • invalid_let_binding_name_error()
  • invalid_literal_error()
  • invalid_term_error()
  • invalid_type_error()
  • invalid_type_lambda_parameter_name_error()
  • invalid_type_scheme_variable_name_error()
  • literal_type_mismatch_error()
  • missing_case_branches_error()
  • missing_record_fields_error()
  • nested_term_annotation_error()
  • nested_type_annotation_error()
  • nominal_type_kind_mismatch_error()
  • non_comparable_map_key_type_error()
  • non_comparable_set_element_type_error()
  • redundant_wrap_unwrap_error()
  • self_application_error()
  • single_variant_union_error()
  • term_variable_shadowing_error()
  • type_variable_shadowing_in_forall_error()
  • type_variable_shadowing_in_type_lambda_error()
  • undeclared_variant_error()
  • undefined_field_error()
  • undefined_term_variable_error()
  • undefined_type_variable_error()
  • undefined_type_variable_in_binding_type_error()
  • undefined_type_variable_in_lambda_domain_error()
  • undefined_type_variable_in_type_application_error()
  • unexpected_term_variant_error()
  • unexpected_type_variant_error()
  • unknown_case_alternative_error()
  • unknown_primitive_name_error()
  • unknown_projected_field_error()
  • unnecessary_identity_application_error()
  • unresolved_nominal_type_error()
  • untyped_term_variable_error()
  • void_in_non_bottom_position_error()
• hydra.encode.error.file module
  • file_error()
• hydra.encode.error.packaging module
  • conflicting_module_name_error()
  • conflicting_variant_name_error()
  • definition_not_in_module_name_error()
  • definitions_out_of_order_error()
  • duplicate_definition_name_error()
  • duplicate_module_name_error()
  • invalid_definition_name_error()
  • invalid_module_error()
  • invalid_module_name_convention_error()
  • invalid_package_error()
  • invalid_package_name_error()
  • missing_documentation_error()
  • undeclared_dependency_error()
• hydra.encode.error.system module
  • system_error()