hydra.decode.error.checking module
Term decoders for hydra.error.checking.
- hydra.decode.error.checking.checking_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.CheckingError.
- hydra.decode.error.checking.incorrect_unification_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.IncorrectUnificationError.
- hydra.decode.error.checking.not_a_forall_type_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.NotAForallTypeError.
- hydra.decode.error.checking.not_a_function_type_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.NotAFunctionTypeError.
- hydra.decode.error.checking.other_checking_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.OtherCheckingError.
- hydra.decode.error.checking.type_arity_mismatch_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.TypeArityMismatchError.
- hydra.decode.error.checking.type_mismatch_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.TypeMismatchError.
- hydra.decode.error.checking.unbound_type_variables_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.UnboundTypeVariablesError.
- hydra.decode.error.checking.undefined_term_variable_checking_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.UndefinedTermVariableCheckingError.
- hydra.decode.error.checking.unequal_types_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.UnequalTypesError.
- hydra.decode.error.checking.unsupported_term_variant_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.UnsupportedTermVariantError.
- hydra.decode.error.checking.untyped_lambda_error(cx: Graph, raw: Term) object
Decoder for hydra.error.checking.UntypedLambdaError.