hydra.decode.errors module

Term decoders for hydra.errors.

hydra.decode.errors.decoding_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.DecodingError.

hydra.decode.errors.empty_list_error(cx: Graph, t: Term) object

Decoder for hydra.errors.EmptyListError.

hydra.decode.errors.error(cx: Graph, raw: Term) object

Decoder for hydra.errors.Error.

hydra.decode.errors.extraction_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.ExtractionError.

hydra.decode.errors.inference_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.InferenceError.

hydra.decode.errors.multiple_bindings_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.MultipleBindingsError.

hydra.decode.errors.multiple_fields_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.MultipleFieldsError.

hydra.decode.errors.no_matching_field_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.NoMatchingFieldError.

hydra.decode.errors.no_such_binding_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.NoSuchBindingError.

hydra.decode.errors.no_such_primitive_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.NoSuchPrimitiveError.

hydra.decode.errors.not_enough_cases_error(cx: Graph, t: Term) object

Decoder for hydra.errors.NotEnoughCasesError.

hydra.decode.errors.other_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.OtherError.

hydra.decode.errors.other_inference_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.OtherInferenceError.

hydra.decode.errors.other_resolution_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.OtherResolutionError.

hydra.decode.errors.resolution_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.ResolutionError.

hydra.decode.errors.unexpected_shape_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.UnexpectedShapeError.

hydra.decode.errors.unification_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.UnificationError.

hydra.decode.errors.unification_inference_error(cx: Graph, raw: Term) object

Decoder for hydra.errors.UnificationInferenceError.