hydra.encode namespace

Subpackages

• 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()
• hydra.encode.json namespace
  • Submodules
    • hydra.encode.json.model module
      • value()
• hydra.encode.yaml namespace
  • Submodules
    • hydra.encode.yaml.model module
      • node()
      • scalar()

Submodules

• hydra.encode.ast module
  • associativity()
  • block_style()
  • bracket_expr()
  • brackets()
  • expr()
  • indent_style()
  • indented_expression()
  • op()
  • op_expr()
  • padding()
  • precedence()
  • seq_expr()
  • symbol()
  • ws()
• hydra.encode.coders module
  • case_conventions()
  • coder_direction()
  • language_feature()
  • language_name()
  • traversal_order()
• hydra.encode.core module
  • annotated_term()
  • annotated_type()
  • application()
  • application_type()
  • binding()
  • case_alternative()
  • case_statement()
  • either_type()
  • field()
  • field_type()
  • float_type()
  • float_value()
  • forall_type()
  • function_type()
  • injection()
  • integer_type()
  • integer_value()
  • lambda_()
  • let()
  • literal()
  • literal_type()
  • map_type()
  • name()
  • pair_type()
  • projection()
  • record()
  • term()
  • type()
  • type_application_term()
  • type_class_constraint()
  • type_lambda()
  • type_scheme()
  • type_variable_constraints()
  • wrapped_term()
• hydra.encode.docs module
  • doc_segment()
• hydra.encode.errors module
  • decoding_error()
  • empty_list_error()
  • error()
  • extraction_error()
  • inference_error()
  • multiple_bindings_error()
  • multiple_fields_error()
  • no_matching_field_error()
  • no_such_binding_error()
  • no_such_primitive_error()
  • not_enough_cases_error()
  • other_error()
  • other_inference_error()
  • other_resolution_error()
  • resolution_error()
  • unexpected_shape_error()
  • unification_error()
  • unification_inference_error()
• hydra.encode.file module
  • file_extension()
  • file_path()
  • file_status()
  • file_type()
• hydra.encode.packaging module
  • definition()
  • definition_reference()
  • dependency_scope()
  • entity_metadata()
  • entity_reference()
  • lifecycle_info()
  • module()
  • module_dependency()
  • module_name()
  • package()
  • package_dependency()
  • package_name()
  • primitive_definition()
  • term_definition()
  • type_definition()
  • version()
  • version_range()
  • version_specifier()
• hydra.encode.parsing module
  • parse_error()
  • parse_result()
  • parse_success()
• hydra.encode.paths module
  • subterm_attribute()
  • subterm_edge()
  • subterm_graph()
  • subterm_link()
  • subterm_node()
  • subterm_path()
  • subterm_property()
  • subterm_step()
  • subtype_attribute()
  • subtype_edge()
  • subtype_graph()
  • subtype_link()
  • subtype_node()
  • subtype_path()
  • subtype_property()
  • subtype_step()
  • term_attribute()
  • type_attribute()
• hydra.encode.query module
  • comparison_constraint()
  • edge()
  • graph_pattern()
  • node()
  • path()
  • path_equation()
  • pattern()
  • pattern_implication()
  • query()
  • range_()
  • regex_quantifier()
  • regex_sequence()
  • step()
  • triple_pattern()
  • variable()
• hydra.encode.regex module
  • alternation()
  • atom()
  • character_class()
  • character_range()
  • class_item()
  • quantified()
  • quantifier()
  • quantifier_range()
  • regex()
  • regex_sequence()
• hydra.encode.relational module
  • column_name()
  • column_schema()
  • foreign_key()
  • primary_key()
  • relation()
  • relation_name()
  • relation_schema()
  • relationship()
  • row()
• hydra.encode.system module
  • command()
  • environment_variable()
  • process_result()
  • status_code()
• hydra.encode.tabular module
  • column_type()
  • data_row()
  • header_row()
  • table()
  • table_type()
• hydra.encode.testing module
  • tag()
• hydra.encode.time module
  • timespec()
• hydra.encode.topology module
  • graph()
  • tarjan_state()
  • vertex()
• hydra.encode.typed module
  • typed_binding()
  • typed_name()
  • typed_term()
  • typed_term_definition()
• hydra.encode.typing module
  • function_structure()
  • inference_context()
  • inference_result()
  • parameter()
  • result()
  • term_signature()
  • term_subst()
  • type_class()
  • type_constraint()
  • type_parameter()
  • type_subst()
• hydra.encode.util module
  • case_convention()
  • comparison()
  • module_names()
  • precision()
  • qualified_name()
• hydra.encode.validation module
  • validation_profile()
  • validation_result()
• hydra.encode.variants module
  • literal_variant()
  • term_variant()
  • type_variant()