hydra.dsl.errors module

DSL functions for hydra.errors.

hydra.dsl.errors.decoding_error(x: TypedTerm[str]) → TypedTerm[DecodingError]

DSL constructor for the hydra.errors.DecodingError wrapper.

hydra.dsl.errors.error_checking(x: TypedTerm[CheckingError]) → TypedTerm[Error]

DSL injection for the checking variant of hydra.errors.Error.

hydra.dsl.errors.error_decoding(x: TypedTerm[DecodingError]) → TypedTerm[Error]

DSL injection for the decoding variant of hydra.errors.Error.

hydra.dsl.errors.error_duplicate_binding(x: TypedTerm[DuplicateBindingError]) → TypedTerm[Error]

DSL injection for the duplicateBinding variant of hydra.errors.Error.

hydra.dsl.errors.error_duplicate_field(x: TypedTerm[DuplicateFieldError]) → TypedTerm[Error]

DSL injection for the duplicateField variant of hydra.errors.Error.

hydra.dsl.errors.error_extraction(x: TypedTerm[ExtractionError]) → TypedTerm[Error]

DSL injection for the extraction variant of hydra.errors.Error.

hydra.dsl.errors.error_inference(x: TypedTerm[InferenceError]) → TypedTerm[Error]

DSL injection for the inference variant of hydra.errors.Error.

hydra.dsl.errors.error_invalid_literal(x: TypedTerm[InvalidLiteralError]) → TypedTerm[Error]

DSL injection for the invalidLiteral variant of hydra.errors.Error.

hydra.dsl.errors.error_other(x: TypedTerm[OtherError]) → TypedTerm[Error]

DSL injection for the other variant of hydra.errors.Error.

hydra.dsl.errors.error_resolution(x: TypedTerm[ResolutionError]) → TypedTerm[Error]

DSL injection for the resolution variant of hydra.errors.Error.

hydra.dsl.errors.error_undefined_field(x: TypedTerm[UndefinedFieldError]) → TypedTerm[Error]

DSL injection for the undefinedField variant of hydra.errors.Error.

hydra.dsl.errors.error_undefined_term_variable(x: TypedTerm[UndefinedTermVariableError]) → TypedTerm[Error]

DSL injection for the undefinedTermVariable variant of hydra.errors.Error.

hydra.dsl.errors.error_unexpected_term_variant(x: TypedTerm[UnexpectedTermVariantError]) → TypedTerm[Error]

DSL injection for the unexpectedTermVariant variant of hydra.errors.Error.

hydra.dsl.errors.error_unexpected_type_variant(x: TypedTerm[UnexpectedTypeVariantError]) → TypedTerm[Error]

DSL injection for the unexpectedTypeVariant variant of hydra.errors.Error.

hydra.dsl.errors.error_unification(x: TypedTerm[UnificationError]) → TypedTerm[Error]

DSL injection for the unification variant of hydra.errors.Error.

hydra.dsl.errors.error_untyped_term_variable(x: TypedTerm[UntypedTermVariableError]) → TypedTerm[Error]

DSL injection for the untypedTermVariable variant of hydra.errors.Error.

hydra.dsl.errors.extraction_error_empty_list(x: TypedTerm[None]) → TypedTerm[ExtractionError]

DSL injection for the emptyList variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_multiple_bindings(x: TypedTerm[MultipleBindingsError]) → TypedTerm[ExtractionError]

DSL injection for the multipleBindings variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_multiple_fields(x: TypedTerm[MultipleFieldsError]) → TypedTerm[ExtractionError]

DSL injection for the multipleFields variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_no_matching_field(x: TypedTerm[NoMatchingFieldError]) → TypedTerm[ExtractionError]

DSL injection for the noMatchingField variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_no_such_binding(x: TypedTerm[NoSuchBindingError]) → TypedTerm[ExtractionError]

DSL injection for the noSuchBinding variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_not_enough_cases(x: TypedTerm[None]) → TypedTerm[ExtractionError]

DSL injection for the notEnoughCases variant of hydra.errors.ExtractionError.

hydra.dsl.errors.extraction_error_unexpected_shape(x: TypedTerm[UnexpectedShapeError]) → TypedTerm[ExtractionError]

DSL injection for the unexpectedShape variant of hydra.errors.ExtractionError.

hydra.dsl.errors.inference_error_checking(x: TypedTerm[CheckingError]) → TypedTerm[InferenceError]

DSL injection for the checking variant of hydra.errors.InferenceError.

hydra.dsl.errors.inference_error_other(x: TypedTerm[OtherInferenceError]) → TypedTerm[InferenceError]

DSL injection for the other variant of hydra.errors.InferenceError.

hydra.dsl.errors.inference_error_unification(x: TypedTerm[UnificationInferenceError]) → TypedTerm[InferenceError]

DSL injection for the unification variant of hydra.errors.InferenceError.

hydra.dsl.errors.multiple_bindings_error(name: TypedTerm[Name]) → TypedTerm[MultipleBindingsError]

DSL constructor for hydra.errors.MultipleBindingsError.

hydra.dsl.errors.multiple_bindings_error_name(x: TypedTerm[MultipleBindingsError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.errors.MultipleBindingsError.

hydra.dsl.errors.multiple_bindings_error_with_name(original: TypedTerm[MultipleBindingsError], new_val: TypedTerm[Name]) → TypedTerm[MultipleBindingsError]

DSL updater for the name field of hydra.errors.MultipleBindingsError.

hydra.dsl.errors.multiple_fields_error(field_name: TypedTerm[Name]) → TypedTerm[MultipleFieldsError]

DSL constructor for hydra.errors.MultipleFieldsError.

hydra.dsl.errors.multiple_fields_error_field_name(x: TypedTerm[MultipleFieldsError]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.errors.MultipleFieldsError.

hydra.dsl.errors.multiple_fields_error_with_field_name(original: TypedTerm[MultipleFieldsError], new_val: TypedTerm[Name]) → TypedTerm[MultipleFieldsError]

DSL updater for the fieldName field of hydra.errors.MultipleFieldsError.

hydra.dsl.errors.no_matching_field_error(field_name: TypedTerm[Name]) → TypedTerm[NoMatchingFieldError]

DSL constructor for hydra.errors.NoMatchingFieldError.

hydra.dsl.errors.no_matching_field_error_field_name(x: TypedTerm[NoMatchingFieldError]) → TypedTerm[Name]

DSL accessor for the fieldName field of hydra.errors.NoMatchingFieldError.

hydra.dsl.errors.no_matching_field_error_with_field_name(original: TypedTerm[NoMatchingFieldError], new_val: TypedTerm[Name]) → TypedTerm[NoMatchingFieldError]

DSL updater for the fieldName field of hydra.errors.NoMatchingFieldError.

hydra.dsl.errors.no_such_binding_error(name: TypedTerm[Name]) → TypedTerm[NoSuchBindingError]

DSL constructor for hydra.errors.NoSuchBindingError.

hydra.dsl.errors.no_such_binding_error_name(x: TypedTerm[NoSuchBindingError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.errors.NoSuchBindingError.

hydra.dsl.errors.no_such_binding_error_with_name(original: TypedTerm[NoSuchBindingError], new_val: TypedTerm[Name]) → TypedTerm[NoSuchBindingError]

DSL updater for the name field of hydra.errors.NoSuchBindingError.

hydra.dsl.errors.no_such_primitive_error(name: TypedTerm[Name]) → TypedTerm[NoSuchPrimitiveError]

DSL constructor for hydra.errors.NoSuchPrimitiveError.

hydra.dsl.errors.no_such_primitive_error_name(x: TypedTerm[NoSuchPrimitiveError]) → TypedTerm[Name]

DSL accessor for the name field of hydra.errors.NoSuchPrimitiveError.

hydra.dsl.errors.no_such_primitive_error_with_name(original: TypedTerm[NoSuchPrimitiveError], new_val: TypedTerm[Name]) → TypedTerm[NoSuchPrimitiveError]

DSL updater for the name field of hydra.errors.NoSuchPrimitiveError.

hydra.dsl.errors.other_error(x: TypedTerm[str]) → TypedTerm[OtherError]

DSL constructor for the hydra.errors.OtherError wrapper.

hydra.dsl.errors.other_inference_error(path: TypedTerm[SubtermPath], message: TypedTerm[str]) → TypedTerm[OtherInferenceError]

DSL constructor for hydra.errors.OtherInferenceError.

hydra.dsl.errors.other_inference_error_message(x: TypedTerm[OtherInferenceError]) → TypedTerm[str]

DSL accessor for the message field of hydra.errors.OtherInferenceError.

hydra.dsl.errors.other_inference_error_path(x: TypedTerm[OtherInferenceError]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.errors.OtherInferenceError.

hydra.dsl.errors.other_inference_error_with_message(original: TypedTerm[OtherInferenceError], new_val: TypedTerm[str]) → TypedTerm[OtherInferenceError]

DSL updater for the message field of hydra.errors.OtherInferenceError.

hydra.dsl.errors.other_inference_error_with_path(original: TypedTerm[OtherInferenceError], new_val: TypedTerm[SubtermPath]) → TypedTerm[OtherInferenceError]

DSL updater for the path field of hydra.errors.OtherInferenceError.

hydra.dsl.errors.other_resolution_error(x: TypedTerm[str]) → TypedTerm[OtherResolutionError]

DSL constructor for the hydra.errors.OtherResolutionError wrapper.

hydra.dsl.errors.resolution_error_no_matching_field(x: TypedTerm[NoMatchingFieldError]) → TypedTerm[ResolutionError]

DSL injection for the noMatchingField variant of hydra.errors.ResolutionError.

hydra.dsl.errors.resolution_error_no_such_binding(x: TypedTerm[NoSuchBindingError]) → TypedTerm[ResolutionError]

DSL injection for the noSuchBinding variant of hydra.errors.ResolutionError.

hydra.dsl.errors.resolution_error_no_such_primitive(x: TypedTerm[NoSuchPrimitiveError]) → TypedTerm[ResolutionError]

DSL injection for the noSuchPrimitive variant of hydra.errors.ResolutionError.

hydra.dsl.errors.resolution_error_other(x: TypedTerm[OtherResolutionError]) → TypedTerm[ResolutionError]

DSL injection for the other variant of hydra.errors.ResolutionError.

hydra.dsl.errors.resolution_error_unexpected_shape(x: TypedTerm[UnexpectedShapeError]) → TypedTerm[ResolutionError]

DSL injection for the unexpectedShape variant of hydra.errors.ResolutionError.

hydra.dsl.errors.un_decoding_error(x: TypedTerm[DecodingError]) → TypedTerm[str]

DSL accessor for the body of hydra.errors.DecodingError.

hydra.dsl.errors.un_other_error(x: TypedTerm[OtherError]) → TypedTerm[str]

DSL accessor for the body of hydra.errors.OtherError.

hydra.dsl.errors.un_other_resolution_error(x: TypedTerm[OtherResolutionError]) → TypedTerm[str]

DSL accessor for the body of hydra.errors.OtherResolutionError.

hydra.dsl.errors.unexpected_shape_error(expected: TypedTerm[str], actual: TypedTerm[str]) → TypedTerm[UnexpectedShapeError]

DSL constructor for hydra.errors.UnexpectedShapeError.

hydra.dsl.errors.unexpected_shape_error_actual(x: TypedTerm[UnexpectedShapeError]) → TypedTerm[str]

DSL accessor for the actual field of hydra.errors.UnexpectedShapeError.

hydra.dsl.errors.unexpected_shape_error_expected(x: TypedTerm[UnexpectedShapeError]) → TypedTerm[str]

DSL accessor for the expected field of hydra.errors.UnexpectedShapeError.

hydra.dsl.errors.unexpected_shape_error_with_actual(original: TypedTerm[UnexpectedShapeError], new_val: TypedTerm[str]) → TypedTerm[UnexpectedShapeError]

DSL updater for the actual field of hydra.errors.UnexpectedShapeError.

hydra.dsl.errors.unexpected_shape_error_with_expected(original: TypedTerm[UnexpectedShapeError], new_val: TypedTerm[str]) → TypedTerm[UnexpectedShapeError]

DSL updater for the expected field of hydra.errors.UnexpectedShapeError.

hydra.dsl.errors.unification_error(left_type: TypedTerm[Type], right_type: TypedTerm[Type], message: TypedTerm[str]) → TypedTerm[UnificationError]

DSL constructor for hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_left_type(x: TypedTerm[UnificationError]) → TypedTerm[Type]

DSL accessor for the leftType field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_message(x: TypedTerm[UnificationError]) → TypedTerm[str]

DSL accessor for the message field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_right_type(x: TypedTerm[UnificationError]) → TypedTerm[Type]

DSL accessor for the rightType field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_with_left_type(original: TypedTerm[UnificationError], new_val: TypedTerm[Type]) → TypedTerm[UnificationError]

DSL updater for the leftType field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_with_message(original: TypedTerm[UnificationError], new_val: TypedTerm[str]) → TypedTerm[UnificationError]

DSL updater for the message field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_error_with_right_type(original: TypedTerm[UnificationError], new_val: TypedTerm[Type]) → TypedTerm[UnificationError]

DSL updater for the rightType field of hydra.errors.UnificationError.

hydra.dsl.errors.unification_inference_error(path: TypedTerm[SubtermPath], cause: TypedTerm[UnificationError]) → TypedTerm[UnificationInferenceError]

DSL constructor for hydra.errors.UnificationInferenceError.

hydra.dsl.errors.unification_inference_error_cause(x: TypedTerm[UnificationInferenceError]) → TypedTerm[UnificationError]

DSL accessor for the cause field of hydra.errors.UnificationInferenceError.

hydra.dsl.errors.unification_inference_error_path(x: TypedTerm[UnificationInferenceError]) → TypedTerm[SubtermPath]

DSL accessor for the path field of hydra.errors.UnificationInferenceError.

hydra.dsl.errors.unification_inference_error_with_cause(original: TypedTerm[UnificationInferenceError], new_val: TypedTerm[UnificationError]) → TypedTerm[UnificationInferenceError]

DSL updater for the cause field of hydra.errors.UnificationInferenceError.

hydra.dsl.errors.unification_inference_error_with_path(original: TypedTerm[UnificationInferenceError], new_val: TypedTerm[SubtermPath]) → TypedTerm[UnificationInferenceError]

DSL updater for the path field of hydra.errors.UnificationInferenceError.