hydra.encode.error.core module

Term encoders for hydra.error.core.

hydra.encode.error.core.constant_condition_error(x: ConstantConditionError) → Term

Encoder for hydra.error.core.ConstantConditionError.

hydra.encode.error.core.duplicate_binding_error(x: DuplicateBindingError) → Term

Encoder for hydra.error.core.DuplicateBindingError.

hydra.encode.error.core.duplicate_field_error(x: DuplicateFieldError) → Term

Encoder for hydra.error.core.DuplicateFieldError.

hydra.encode.error.core.duplicate_record_type_field_names_error(x: DuplicateRecordTypeFieldNamesError) → Term

Encoder for hydra.error.core.DuplicateRecordTypeFieldNamesError.

hydra.encode.error.core.duplicate_union_type_field_names_error(x: DuplicateUnionTypeFieldNamesError) → Term

Encoder for hydra.error.core.DuplicateUnionTypeFieldNamesError.

hydra.encode.error.core.empty_case_statement_error(x: EmptyCaseStatementError) → Term

Encoder for hydra.error.core.EmptyCaseStatementError.

hydra.encode.error.core.empty_let_bindings_error(x: EmptyLetBindingsError) → Term

Encoder for hydra.error.core.EmptyLetBindingsError.

hydra.encode.error.core.empty_record_type_error(x: EmptyRecordTypeError) → Term

Encoder for hydra.error.core.EmptyRecordTypeError.

hydra.encode.error.core.empty_term_annotation_error(x: EmptyTermAnnotationError) → Term

Encoder for hydra.error.core.EmptyTermAnnotationError.

hydra.encode.error.core.empty_type_annotation_error(x: EmptyTypeAnnotationError) → Term

Encoder for hydra.error.core.EmptyTypeAnnotationError.

hydra.encode.error.core.empty_type_name_in_term_error(x: EmptyTypeNameInTermError) → Term

Encoder for hydra.error.core.EmptyTypeNameInTermError.

hydra.encode.error.core.empty_union_type_error(x: EmptyUnionTypeError) → Term

Encoder for hydra.error.core.EmptyUnionTypeError.

hydra.encode.error.core.extra_record_fields_error(x: ExtraRecordFieldsError) → Term

Encoder for hydra.error.core.ExtraRecordFieldsError.

hydra.encode.error.core.invalid_forall_parameter_name_error(x: InvalidForallParameterNameError) → Term

Encoder for hydra.error.core.InvalidForallParameterNameError.

hydra.encode.error.core.invalid_lambda_parameter_name_error(x: InvalidLambdaParameterNameError) → Term

Encoder for hydra.error.core.InvalidLambdaParameterNameError.

hydra.encode.error.core.invalid_let_binding_name_error(x: InvalidLetBindingNameError) → Term

Encoder for hydra.error.core.InvalidLetBindingNameError.

hydra.encode.error.core.invalid_literal_error(v1: InvalidLiteralError) → Term

Encoder for hydra.error.core.InvalidLiteralError.

hydra.encode.error.core.invalid_term_error(v1: InvalidTermError) → Term

Encoder for hydra.error.core.InvalidTermError.

hydra.encode.error.core.invalid_type_error(v1: InvalidTypeError) → Term

Encoder for hydra.error.core.InvalidTypeError.

hydra.encode.error.core.invalid_type_lambda_parameter_name_error(x: InvalidTypeLambdaParameterNameError) → Term

Encoder for hydra.error.core.InvalidTypeLambdaParameterNameError.

hydra.encode.error.core.invalid_type_scheme_variable_name_error(x: InvalidTypeSchemeVariableNameError) → Term

Encoder for hydra.error.core.InvalidTypeSchemeVariableNameError.

hydra.encode.error.core.literal_type_mismatch_error(x: LiteralTypeMismatchError) → Term

Encoder for hydra.error.core.LiteralTypeMismatchError.

hydra.encode.error.core.missing_case_branches_error(x: MissingCaseBranchesError) → Term

Encoder for hydra.error.core.MissingCaseBranchesError.

hydra.encode.error.core.missing_record_fields_error(x: MissingRecordFieldsError) → Term

Encoder for hydra.error.core.MissingRecordFieldsError.

hydra.encode.error.core.nested_term_annotation_error(x: NestedTermAnnotationError) → Term

Encoder for hydra.error.core.NestedTermAnnotationError.

hydra.encode.error.core.nested_type_annotation_error(x: NestedTypeAnnotationError) → Term

Encoder for hydra.error.core.NestedTypeAnnotationError.

hydra.encode.error.core.nominal_type_kind_mismatch_error(x: NominalTypeKindMismatchError) → Term

Encoder for hydra.error.core.NominalTypeKindMismatchError.

hydra.encode.error.core.non_comparable_map_key_type_error(x: NonComparableMapKeyTypeError) → Term

Encoder for hydra.error.core.NonComparableMapKeyTypeError.

hydra.encode.error.core.non_comparable_set_element_type_error(x: NonComparableSetElementTypeError) → Term

Encoder for hydra.error.core.NonComparableSetElementTypeError.

hydra.encode.error.core.redundant_wrap_unwrap_error(x: RedundantWrapUnwrapError) → Term

Encoder for hydra.error.core.RedundantWrapUnwrapError.

hydra.encode.error.core.self_application_error(x: SelfApplicationError) → Term

Encoder for hydra.error.core.SelfApplicationError.

hydra.encode.error.core.single_variant_union_error(x: SingleVariantUnionError) → Term

Encoder for hydra.error.core.SingleVariantUnionError.

hydra.encode.error.core.term_variable_shadowing_error(x: TermVariableShadowingError) → Term

Encoder for hydra.error.core.TermVariableShadowingError.

hydra.encode.error.core.type_variable_shadowing_in_forall_error(x: TypeVariableShadowingInForallError) → Term

Encoder for hydra.error.core.TypeVariableShadowingInForallError.

hydra.encode.error.core.type_variable_shadowing_in_type_lambda_error(x: TypeVariableShadowingInTypeLambdaError) → Term

Encoder for hydra.error.core.TypeVariableShadowingInTypeLambdaError.

hydra.encode.error.core.undeclared_variant_error(x: UndeclaredVariantError) → Term

Encoder for hydra.error.core.UndeclaredVariantError.

hydra.encode.error.core.undefined_field_error(x: UndefinedFieldError) → Term

Encoder for hydra.error.core.UndefinedFieldError.

hydra.encode.error.core.undefined_term_variable_error(x: UndefinedTermVariableError) → Term

Encoder for hydra.error.core.UndefinedTermVariableError.

hydra.encode.error.core.undefined_type_variable_error(x: UndefinedTypeVariableError) → Term

Encoder for hydra.error.core.UndefinedTypeVariableError.

hydra.encode.error.core.undefined_type_variable_in_binding_type_error(x: UndefinedTypeVariableInBindingTypeError) → Term

Encoder for hydra.error.core.UndefinedTypeVariableInBindingTypeError.

hydra.encode.error.core.undefined_type_variable_in_lambda_domain_error(x: UndefinedTypeVariableInLambdaDomainError) → Term

Encoder for hydra.error.core.UndefinedTypeVariableInLambdaDomainError.

hydra.encode.error.core.undefined_type_variable_in_type_application_error(x: UndefinedTypeVariableInTypeApplicationError) → Term

Encoder for hydra.error.core.UndefinedTypeVariableInTypeApplicationError.

hydra.encode.error.core.unexpected_term_variant_error(x: UnexpectedTermVariantError) → Term

Encoder for hydra.error.core.UnexpectedTermVariantError.

hydra.encode.error.core.unexpected_type_variant_error(x: UnexpectedTypeVariantError) → Term

Encoder for hydra.error.core.UnexpectedTypeVariantError.

hydra.encode.error.core.unknown_case_alternative_error(x: UnknownCaseAlternativeError) → Term

Encoder for hydra.error.core.UnknownCaseAlternativeError.

hydra.encode.error.core.unknown_primitive_name_error(x: UnknownPrimitiveNameError) → Term

Encoder for hydra.error.core.UnknownPrimitiveNameError.

hydra.encode.error.core.unknown_projected_field_error(x: UnknownProjectedFieldError) → Term

Encoder for hydra.error.core.UnknownProjectedFieldError.

hydra.encode.error.core.unnecessary_identity_application_error(x: UnnecessaryIdentityApplicationError) → Term

Encoder for hydra.error.core.UnnecessaryIdentityApplicationError.

hydra.encode.error.core.unresolved_nominal_type_error(x: UnresolvedNominalTypeError) → Term

Encoder for hydra.error.core.UnresolvedNominalTypeError.

hydra.encode.error.core.untyped_term_variable_error(x: UntypedTermVariableError) → Term

Encoder for hydra.error.core.UntypedTermVariableError.

hydra.encode.error.core.void_in_non_bottom_position_error(x: VoidInNonBottomPositionError) → Term

Encoder for hydra.error.core.VoidInNonBottomPositionError.