hydra.print.error namespace

Submodules

• hydra.print.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_term_error()
  • invalid_type_error()
  • invalid_type_lambda_parameter_name_error()
  • invalid_type_scheme_variable_name_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.print.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()