hydra.decode.error.core module

Term decoders for hydra.error.core.

hydra.decode.error.core.constant_condition_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.ConstantConditionError.

hydra.decode.error.core.duplicate_binding_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.DuplicateBindingError.

hydra.decode.error.core.duplicate_field_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.DuplicateFieldError.

hydra.decode.error.core.duplicate_record_type_field_names_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.decode.error.core.duplicate_union_type_field_names_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.decode.error.core.empty_case_statement_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyCaseStatementError.

hydra.decode.error.core.empty_let_bindings_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyLetBindingsError.

hydra.decode.error.core.empty_record_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyRecordTypeError.

hydra.decode.error.core.empty_term_annotation_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyTermAnnotationError.

hydra.decode.error.core.empty_type_annotation_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyTypeAnnotationError.

hydra.decode.error.core.empty_type_name_in_term_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyTypeNameInTermError.

hydra.decode.error.core.empty_union_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.EmptyUnionTypeError.

hydra.decode.error.core.extra_record_fields_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.ExtraRecordFieldsError.

hydra.decode.error.core.invalid_forall_parameter_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidForallParameterNameError.

hydra.decode.error.core.invalid_lambda_parameter_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidLambdaParameterNameError.

hydra.decode.error.core.invalid_let_binding_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidLetBindingNameError.

hydra.decode.error.core.invalid_literal_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidLiteralError.

hydra.decode.error.core.invalid_term_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidTermError.

hydra.decode.error.core.invalid_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidTypeError.

hydra.decode.error.core.invalid_type_lambda_parameter_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.decode.error.core.invalid_type_scheme_variable_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.decode.error.core.literal_type_mismatch_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.LiteralTypeMismatchError.

hydra.decode.error.core.missing_case_branches_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.MissingCaseBranchesError.

hydra.decode.error.core.missing_record_fields_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.MissingRecordFieldsError.

hydra.decode.error.core.nested_term_annotation_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.NestedTermAnnotationError.

hydra.decode.error.core.nested_type_annotation_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.NestedTypeAnnotationError.

hydra.decode.error.core.nominal_type_kind_mismatch_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.NominalTypeKindMismatchError.

hydra.decode.error.core.non_comparable_map_key_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.NonComparableMapKeyTypeError.

hydra.decode.error.core.non_comparable_set_element_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.NonComparableSetElementTypeError.

hydra.decode.error.core.redundant_wrap_unwrap_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.RedundantWrapUnwrapError.

hydra.decode.error.core.self_application_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.SelfApplicationError.

hydra.decode.error.core.single_variant_union_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.SingleVariantUnionError.

hydra.decode.error.core.term_variable_shadowing_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.TermVariableShadowingError.

hydra.decode.error.core.type_variable_shadowing_in_forall_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.TypeVariableShadowingInForallError.

hydra.decode.error.core.type_variable_shadowing_in_type_lambda_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.decode.error.core.undeclared_variant_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndeclaredVariantError.

hydra.decode.error.core.undefined_field_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedFieldError.

hydra.decode.error.core.undefined_term_variable_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedTermVariableError.

hydra.decode.error.core.undefined_type_variable_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedTypeVariableError.

hydra.decode.error.core.undefined_type_variable_in_binding_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.decode.error.core.undefined_type_variable_in_lambda_domain_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.decode.error.core.undefined_type_variable_in_type_application_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.decode.error.core.unexpected_term_variant_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnexpectedTermVariantError.

hydra.decode.error.core.unexpected_type_variant_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnexpectedTypeVariantError.

hydra.decode.error.core.unknown_case_alternative_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnknownCaseAlternativeError.

hydra.decode.error.core.unknown_primitive_name_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnknownPrimitiveNameError.

hydra.decode.error.core.unknown_projected_field_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnknownProjectedFieldError.

hydra.decode.error.core.unnecessary_identity_application_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnnecessaryIdentityApplicationError.

hydra.decode.error.core.unresolved_nominal_type_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UnresolvedNominalTypeError.

hydra.decode.error.core.untyped_term_variable_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.UntypedTermVariableError.

hydra.decode.error.core.void_in_non_bottom_position_error(cx: Graph, raw: Term) → object

Decoder for hydra.error.core.VoidInNonBottomPositionError.