hydra.print.error.core module

String representations of hydra.error.core types.

hydra.print.error.core.constant_condition_error(e: ConstantConditionError) → str

Show a constant condition error as a string.

hydra.print.error.core.duplicate_binding_error(e: DuplicateBindingError) → str

Show a duplicate binding error as a string.

hydra.print.error.core.duplicate_field_error(e: DuplicateFieldError) → str

Show a duplicate field error as a string.

hydra.print.error.core.duplicate_record_type_field_names_error(e: DuplicateRecordTypeFieldNamesError) → str

Show a duplicate record type field names error as a string.

hydra.print.error.core.duplicate_union_type_field_names_error(e: DuplicateUnionTypeFieldNamesError) → str

Show a duplicate union type field names error as a string.

hydra.print.error.core.empty_case_statement_error(e: EmptyCaseStatementError) → str

Show an empty case statement error as a string.

hydra.print.error.core.empty_let_bindings_error(e: T0) → str

Show an empty let bindings error as a string.

hydra.print.error.core.empty_record_type_error(e: T0) → str

Show an empty record type error as a string.

hydra.print.error.core.empty_term_annotation_error(e: T0) → str

Show an empty term annotation error as a string.

hydra.print.error.core.empty_type_annotation_error(e: T0) → str

Show an empty type annotation error as a string.

hydra.print.error.core.empty_type_name_in_term_error(e: T0) → str

Show an empty type name in term error as a string.

hydra.print.error.core.empty_union_type_error(e: T0) → str

Show an empty union type error as a string.

hydra.print.error.core.extra_record_fields_error(e: ExtraRecordFieldsError) → str

Show an extra record fields error as a string.

hydra.print.error.core.invalid_forall_parameter_name_error(e: InvalidForallParameterNameError) → str

Show an invalid forall parameter name error as a string.

hydra.print.error.core.invalid_lambda_parameter_name_error(e: InvalidLambdaParameterNameError) → str

Show an invalid lambda parameter name error as a string.

hydra.print.error.core.invalid_let_binding_name_error(e: InvalidLetBindingNameError) → str

Show an invalid let binding name error as a string.

hydra.print.error.core.invalid_term_error(e: InvalidTermError) → str

Show an invalid term error as a string.

hydra.print.error.core.invalid_type_error(e: InvalidTypeError) → str

Show an invalid type error as a string.

hydra.print.error.core.invalid_type_lambda_parameter_name_error(e: InvalidTypeLambdaParameterNameError) → str

Show an invalid type lambda parameter name error as a string.

hydra.print.error.core.invalid_type_scheme_variable_name_error(e: InvalidTypeSchemeVariableNameError) → str

Show an invalid type scheme variable name error as a string.

hydra.print.error.core.missing_case_branches_error(e: MissingCaseBranchesError) → str

Show a missing case branches error as a string.

hydra.print.error.core.missing_record_fields_error(e: MissingRecordFieldsError) → str

Show a missing record fields error as a string.

hydra.print.error.core.nested_term_annotation_error(e: T0) → str

Show a nested term annotation error as a string.

hydra.print.error.core.nested_type_annotation_error(e: T0) → str

Show a nested type annotation error as a string.

hydra.print.error.core.nominal_type_kind_mismatch_error(e: NominalTypeKindMismatchError) → str

Show a nominal type kind mismatch error as a string.

hydra.print.error.core.non_comparable_map_key_type_error(e: NonComparableMapKeyTypeError) → str

Show a non-comparable map key type error as a string.

hydra.print.error.core.non_comparable_set_element_type_error(e: NonComparableSetElementTypeError) → str

Show a non-comparable set element type error as a string.

hydra.print.error.core.redundant_wrap_unwrap_error(e: RedundantWrapUnwrapError) → str

Show a redundant wrap/unwrap error as a string.

hydra.print.error.core.self_application_error(e: SelfApplicationError) → str

Show a self-application error as a string.

hydra.print.error.core.single_variant_union_error(e: SingleVariantUnionError) → str

Show a single variant union error as a string.

hydra.print.error.core.term_variable_shadowing_error(e: TermVariableShadowingError) → str

Show a term variable shadowing error as a string.

hydra.print.error.core.type_variable_shadowing_in_forall_error(e: TypeVariableShadowingInForallError) → str

Show a type variable shadowing in forall error as a string.

hydra.print.error.core.type_variable_shadowing_in_type_lambda_error(e: TypeVariableShadowingInTypeLambdaError) → str

Show a type variable shadowing in type lambda error as a string.

hydra.print.error.core.undeclared_variant_error(e: UndeclaredVariantError) → str

Show an undeclared variant error as a string.

hydra.print.error.core.undefined_field_error(e: UndefinedFieldError) → str

Show an undefined field error as a string.

hydra.print.error.core.undefined_term_variable_error(e: UndefinedTermVariableError) → str

Show an undefined term variable error as a string.

hydra.print.error.core.undefined_type_variable_error(e: UndefinedTypeVariableError) → str

Show an undefined type variable error as a string.

hydra.print.error.core.undefined_type_variable_in_binding_type_error(e: UndefinedTypeVariableInBindingTypeError) → str

Show an undefined type variable in binding type error as a string.

hydra.print.error.core.undefined_type_variable_in_lambda_domain_error(e: UndefinedTypeVariableInLambdaDomainError) → str

Show an undefined type variable in lambda domain error as a string.

hydra.print.error.core.undefined_type_variable_in_type_application_error(e: UndefinedTypeVariableInTypeApplicationError) → str

Show an undefined type variable in type application error as a string.

hydra.print.error.core.unexpected_term_variant_error(e: UnexpectedTermVariantError) → str

Show an unexpected term variant error as a string.

hydra.print.error.core.unexpected_type_variant_error(e: UnexpectedTypeVariantError) → str

Show an unexpected type variant error as a string.

hydra.print.error.core.unknown_case_alternative_error(e: UnknownCaseAlternativeError) → str

Show an unknown case alternative error as a string.

hydra.print.error.core.unknown_primitive_name_error(e: UnknownPrimitiveNameError) → str

Show an unknown primitive name error as a string.

hydra.print.error.core.unknown_projected_field_error(e: UnknownProjectedFieldError) → str

Show an unknown projected field error as a string.

hydra.print.error.core.unnecessary_identity_application_error(e: T0) → str

Show an unnecessary identity application error as a string.

hydra.print.error.core.unresolved_nominal_type_error(e: UnresolvedNominalTypeError) → str

Show an unresolved nominal type error as a string.

hydra.print.error.core.untyped_term_variable_error(e: UntypedTermVariableError) → str

Show an untyped term variable error as a string.

hydra.print.error.core.void_in_non_bottom_position_error(e: T0) → str

Show a void in non-bottom position error as a string.