Package hydra.print

Interface Errors

  • public interface Errors
    String representations of hydra.error types

    • Method Detail

      • checkingError

        static java.lang.String checkingError​(CheckingError ce)
        Show a checking error as a string

      • decodingError

        static java.lang.String decodingError​(DecodingError de)
        Show a decoding error as a string

      • error

        static java.lang.String error​(Error_ e)
        Show an error as a string

      • incorrectUnificationError

        static java.lang.String incorrectUnificationError​(IncorrectUnificationError e)
        Show an incorrect unification error as a string

      • notAForallTypeError

        static java.lang.String notAForallTypeError​(NotAForallTypeError e)
        Show a not-a-forall-type error as a string

      • notAFunctionTypeError

        static java.lang.String notAFunctionTypeError​(NotAFunctionTypeError e)
        Show a not-a-function-type error as a string

      • otherError

        static java.lang.String otherError​(OtherError oe)
        Show an other error as a string

      • resolutionError

        static java.lang.String resolutionError​(ResolutionError re)
        Show a resolution error as a string, including the offending name or shape

      • typeArityMismatchError

        static java.lang.String typeArityMismatchError​(TypeArityMismatchError e)
        Show a type arity mismatch error as a string

      • typeMismatchError

        static java.lang.String typeMismatchError​(TypeMismatchError e)
        Show a type mismatch error as a string

      • unboundTypeVariablesError

        static java.lang.String unboundTypeVariablesError​(UnboundTypeVariablesError e)
        Show an unbound type variables error as a string

      • unequalTypesError

        static java.lang.String unequalTypesError​(UnequalTypesError e)
        Show an unequal types error as a string

      • unificationError

        static java.lang.String unificationError​(UnificationError e)
        Show a unification error as a string

      • unsupportedTermVariantError

        static java.lang.String unsupportedTermVariantError​(UnsupportedTermVariantError e)
        Show an unsupported term variant error as a string

      • untypedLambdaError

        static <T0> java.lang.String untypedLambdaError​(T0 ignored)
        Show an untyped lambda error as a string

      • untypedLetBindingError

        static java.lang.String untypedLetBindingError​(UntypedLetBindingError e)
        Show an untyped let binding error as a string