hydra.encode.error.checking module

Term encoders for hydra.error.checking.

hydra.encode.error.checking.checking_error(v1: CheckingError) → Term

Encoder for hydra.error.checking.CheckingError.

hydra.encode.error.checking.incorrect_unification_error(x: IncorrectUnificationError) → Term

Encoder for hydra.error.checking.IncorrectUnificationError.

hydra.encode.error.checking.not_a_forall_type_error(x: NotAForallTypeError) → Term

Encoder for hydra.error.checking.NotAForallTypeError.

hydra.encode.error.checking.not_a_function_type_error(x: NotAFunctionTypeError) → Term

Encoder for hydra.error.checking.NotAFunctionTypeError.

hydra.encode.error.checking.other_checking_error(x: OtherCheckingError) → Term

Encoder for hydra.error.checking.OtherCheckingError.

hydra.encode.error.checking.type_arity_mismatch_error(x: TypeArityMismatchError) → Term

Encoder for hydra.error.checking.TypeArityMismatchError.

hydra.encode.error.checking.type_mismatch_error(x: TypeMismatchError) → Term

Encoder for hydra.error.checking.TypeMismatchError.

hydra.encode.error.checking.unbound_type_variables_error(x: UnboundTypeVariablesError) → Term

Encoder for hydra.error.checking.UnboundTypeVariablesError.

hydra.encode.error.checking.undefined_term_variable_checking_error(x: UndefinedTermVariableCheckingError) → Term

Encoder for hydra.error.checking.UndefinedTermVariableCheckingError.

hydra.encode.error.checking.unequal_types_error(x: UnequalTypesError) → Term

Encoder for hydra.error.checking.UnequalTypesError.

hydra.encode.error.checking.unsupported_term_variant_error(x: UnsupportedTermVariantError) → Term

Encoder for hydra.error.checking.UnsupportedTermVariantError.

hydra.encode.error.checking.untyped_lambda_error(x: UntypedLambdaError) → Term

Encoder for hydra.error.checking.UntypedLambdaError.

hydra.encode.error.checking.untyped_let_binding_error(x: UntypedLetBindingError) → Term

Encoder for hydra.error.checking.UntypedLetBindingError.

hydra.encode.error.checking.untyped_term_variable_checking_error(x: UntypedTermVariableCheckingError) → Term

Encoder for hydra.error.checking.UntypedTermVariableCheckingError.