hydra.print namespace

Subpackages

• hydra.print.emacs namespace
  • Submodules
    • hydra.print.emacs.regex module
      • alternation()
      • atom()
      • character_class()
      • class_item()
      • escape_class_char()
      • escape_literal()
      • print_code_point()
      • print_regex()
      • quantified()
      • quantifier()
      • regex_sequence()
• 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()
• hydra.print.pcre namespace
  • Submodules
    • hydra.print.pcre.regex module
      • alternation()
      • atom()
      • character_class()
      • class_item()
      • escape_class_char()
      • escape_literal()
      • print_code_point()
      • print_regex()
      • quantified()
      • quantifier()
      • regex_sequence()
• hydra.print.posix namespace
  • Submodules
    • hydra.print.posix.regex module
      • alternation()
      • any_class()
      • atom()
      • character_class()
      • class_item()
      • escape_class_char()
      • escape_literal()
      • print_code_point()
      • print_regex()
      • quantified()
      • quantifier()
      • regex_sequence()

Submodules

• hydra.print.core module
  • binding()
  • case_statement()
  • either()
  • field()
  • field_type()
  • fields()
  • float()
  • float_type()
  • injection()
  • integer()
  • integer_type()
  • lambda_()
  • let()
  • list()
  • literal()
  • literal_type()
  • map()
  • optional()
  • pair()
  • projection()
  • read_term()
  • set()
  • term()
  • type()
  • type_scheme()
• hydra.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.print.errors module
  • checking_error()
  • decoding_error()
  • error()
  • incorrect_unification_error()
  • not_a_forall_type_error()
  • not_a_function_type_error()
  • other_error()
  • resolution_error()
  • type_arity_mismatch_error()
  • type_mismatch_error()
  • unbound_type_variables_error()
  • unequal_types_error()
  • unification_error()
  • unsupported_term_variant_error()
  • untyped_lambda_error()
  • untyped_let_binding_error()
• hydra.print.graph module
  • graph()
• hydra.print.paths module
  • parse_subterm_path()
  • parse_subterm_step()
  • parse_subtype_path()
  • parse_subtype_step()
  • subterm_path()
  • subterm_step()
  • subtype_path()
  • subtype_step()
• hydra.print.regex module
  • alternation()
  • atom()
  • character_class()
  • class_item()
  • escape_class_char()
  • escape_literal()
  • print_code_point()
  • print_regex()
  • quantified()
  • quantifier()
  • regex_sequence()
• hydra.print.typing module
  • type_constraint()
  • type_subst()
• hydra.print.util module
  • case_convention()
  • comparison()
• hydra.print.variants module
  • term_variant()
  • type_variant()