Package hydra.encode.error

Interface Core

  • public interface Core
    Term encoders for hydra.error.core

    • Method Detail

      • constantConditionError

        static Term constantConditionError​(ConstantConditionError x)
        Encoder for hydra.error.core.ConstantConditionError

      • duplicateBindingError

        static Term duplicateBindingError​(DuplicateBindingError x)
        Encoder for hydra.error.core.DuplicateBindingError

      • duplicateFieldError

        static Term duplicateFieldError​(DuplicateFieldError x)
        Encoder for hydra.error.core.DuplicateFieldError

      • duplicateRecordTypeFieldNamesError

        static Term duplicateRecordTypeFieldNamesError​(DuplicateRecordTypeFieldNamesError x)
        Encoder for hydra.error.core.DuplicateRecordTypeFieldNamesError

      • duplicateUnionTypeFieldNamesError

        static Term duplicateUnionTypeFieldNamesError​(DuplicateUnionTypeFieldNamesError x)
        Encoder for hydra.error.core.DuplicateUnionTypeFieldNamesError

      • emptyCaseStatementError

        static Term emptyCaseStatementError​(EmptyCaseStatementError x)
        Encoder for hydra.error.core.EmptyCaseStatementError

      • emptyLetBindingsError

        static Term emptyLetBindingsError​(EmptyLetBindingsError x)
        Encoder for hydra.error.core.EmptyLetBindingsError

      • emptyRecordTypeError

        static Term emptyRecordTypeError​(EmptyRecordTypeError x)
        Encoder for hydra.error.core.EmptyRecordTypeError

      • emptyTermAnnotationError

        static Term emptyTermAnnotationError​(EmptyTermAnnotationError x)
        Encoder for hydra.error.core.EmptyTermAnnotationError

      • emptyTypeAnnotationError

        static Term emptyTypeAnnotationError​(EmptyTypeAnnotationError x)
        Encoder for hydra.error.core.EmptyTypeAnnotationError

      • emptyTypeNameInTermError

        static Term emptyTypeNameInTermError​(EmptyTypeNameInTermError x)
        Encoder for hydra.error.core.EmptyTypeNameInTermError

      • emptyUnionTypeError

        static Term emptyUnionTypeError​(EmptyUnionTypeError x)
        Encoder for hydra.error.core.EmptyUnionTypeError

      • invalidForallParameterNameError

        static Term invalidForallParameterNameError​(InvalidForallParameterNameError x)
        Encoder for hydra.error.core.InvalidForallParameterNameError

      • invalidLambdaParameterNameError

        static Term invalidLambdaParameterNameError​(InvalidLambdaParameterNameError x)
        Encoder for hydra.error.core.InvalidLambdaParameterNameError

      • invalidLetBindingNameError

        static Term invalidLetBindingNameError​(InvalidLetBindingNameError x)
        Encoder for hydra.error.core.InvalidLetBindingNameError

      • invalidLiteralError

        static Term invalidLiteralError​(InvalidLiteralError v1)
        Encoder for hydra.error.core.InvalidLiteralError

      • invalidTermError

        static Term invalidTermError​(InvalidTermError v1)
        Encoder for hydra.error.core.InvalidTermError

      • invalidTypeError

        static Term invalidTypeError​(InvalidTypeError v1)
        Encoder for hydra.error.core.InvalidTypeError

      • invalidTypeLambdaParameterNameError

        static Term invalidTypeLambdaParameterNameError​(InvalidTypeLambdaParameterNameError x)
        Encoder for hydra.error.core.InvalidTypeLambdaParameterNameError

      • invalidTypeSchemeVariableNameError

        static Term invalidTypeSchemeVariableNameError​(InvalidTypeSchemeVariableNameError x)
        Encoder for hydra.error.core.InvalidTypeSchemeVariableNameError

      • literalTypeMismatchError

        static Term literalTypeMismatchError​(LiteralTypeMismatchError x)
        Encoder for hydra.error.core.LiteralTypeMismatchError

      • nestedTermAnnotationError

        static Term nestedTermAnnotationError​(NestedTermAnnotationError x)
        Encoder for hydra.error.core.NestedTermAnnotationError

      • nestedTypeAnnotationError

        static Term nestedTypeAnnotationError​(NestedTypeAnnotationError x)
        Encoder for hydra.error.core.NestedTypeAnnotationError

      • nonComparableMapKeyTypeError

        static Term nonComparableMapKeyTypeError​(NonComparableMapKeyTypeError x)
        Encoder for hydra.error.core.NonComparableMapKeyTypeError

      • nonComparableSetElementTypeError

        static Term nonComparableSetElementTypeError​(NonComparableSetElementTypeError x)
        Encoder for hydra.error.core.NonComparableSetElementTypeError

      • redundantWrapUnwrapError

        static Term redundantWrapUnwrapError​(RedundantWrapUnwrapError x)
        Encoder for hydra.error.core.RedundantWrapUnwrapError

      • selfApplicationError

        static Term selfApplicationError​(SelfApplicationError x)
        Encoder for hydra.error.core.SelfApplicationError

      • singleVariantUnionError

        static Term singleVariantUnionError​(SingleVariantUnionError x)
        Encoder for hydra.error.core.SingleVariantUnionError

      • termVariableShadowingError

        static Term termVariableShadowingError​(TermVariableShadowingError x)
        Encoder for hydra.error.core.TermVariableShadowingError

      • typeVariableShadowingInForallError

        static Term typeVariableShadowingInForallError​(TypeVariableShadowingInForallError x)
        Encoder for hydra.error.core.TypeVariableShadowingInForallError

      • undefinedFieldError

        static Term undefinedFieldError​(UndefinedFieldError x)
        Encoder for hydra.error.core.UndefinedFieldError

      • undefinedTermVariableError

        static Term undefinedTermVariableError​(UndefinedTermVariableError x)
        Encoder for hydra.error.core.UndefinedTermVariableError

      • undefinedTypeVariableError

        static Term undefinedTypeVariableError​(UndefinedTypeVariableError x)
        Encoder for hydra.error.core.UndefinedTypeVariableError

      • unexpectedTermVariantError

        static Term unexpectedTermVariantError​(UnexpectedTermVariantError x)
        Encoder for hydra.error.core.UnexpectedTermVariantError

      • unexpectedTypeVariantError

        static Term unexpectedTypeVariantError​(UnexpectedTypeVariantError x)
        Encoder for hydra.error.core.UnexpectedTypeVariantError

      • unknownPrimitiveNameError

        static Term unknownPrimitiveNameError​(UnknownPrimitiveNameError x)
        Encoder for hydra.error.core.UnknownPrimitiveNameError

      • unnecessaryIdentityApplicationError

        static Term unnecessaryIdentityApplicationError​(UnnecessaryIdentityApplicationError x)
        Encoder for hydra.error.core.UnnecessaryIdentityApplicationError

      • untypedTermVariableError

        static Term untypedTermVariableError​(UntypedTermVariableError x)
        Encoder for hydra.error.core.UntypedTermVariableError

      • voidInNonBottomPositionError

        static Term voidInNonBottomPositionError​(VoidInNonBottomPositionError x)
        Encoder for hydra.error.core.VoidInNonBottomPositionError