hydra.print.errors module
String representations of hydra.error types.
- hydra.print.errors.checking_error(ce: CheckingError) str
Show a checking error as a string.
- hydra.print.errors.decoding_error(de: DecodingError) str
Show a decoding error as a string.
- hydra.print.errors.incorrect_unification_error(e: IncorrectUnificationError) str
Show an incorrect unification error as a string.
- hydra.print.errors.not_a_forall_type_error(e: NotAForallTypeError) str
Show a not-a-forall-type error as a string.
- hydra.print.errors.not_a_function_type_error(e: NotAFunctionTypeError) str
Show a not-a-function-type error as a string.
- hydra.print.errors.other_error(oe: OtherError) str
Show an other error as a string.
- hydra.print.errors.resolution_error(re: ResolutionError) str
Show a resolution error as a string, including the offending name or shape.
- hydra.print.errors.type_arity_mismatch_error(e: TypeArityMismatchError) str
Show a type arity mismatch error as a string.
- hydra.print.errors.type_mismatch_error(e: TypeMismatchError) str
Show a type mismatch error as a string.
- hydra.print.errors.unbound_type_variables_error(e: UnboundTypeVariablesError) str
Show an unbound type variables error as a string.
- hydra.print.errors.unequal_types_error(e: UnequalTypesError) str
Show an unequal types error as a string.
- hydra.print.errors.unification_error(e: UnificationError) str
Show a unification error as a string.
- hydra.print.errors.unsupported_term_variant_error(e: UnsupportedTermVariantError) str
Show an unsupported term variant error as a string.
- hydra.print.errors.untyped_lambda_error(_: T0) str
Show an untyped lambda error as a string.
- hydra.print.errors.untyped_let_binding_error(e: UntypedLetBindingError) str
Show an untyped let binding error as a string.