Package hydra.encode.error

Interface Core

public interface Core

Term encoders for hydra.error.core

Method Summary

Static Methods

Modifier and Type	Method	Description
static Term	constantConditionError(ConstantConditionError x)
static Term	duplicateBindingError(DuplicateBindingError x)
static Term	duplicateFieldError(DuplicateFieldError x)
static Term	duplicateRecordTypeFieldNamesError(DuplicateRecordTypeFieldNamesError x)
static Term	duplicateUnionTypeFieldNamesError(DuplicateUnionTypeFieldNamesError x)
static Term	emptyCaseStatementError(EmptyCaseStatementError x)
static Term	emptyLetBindingsError(EmptyLetBindingsError x)
static Term	emptyRecordTypeError(EmptyRecordTypeError x)
static Term	emptyTermAnnotationError(EmptyTermAnnotationError x)
static Term	emptyTypeAnnotationError(EmptyTypeAnnotationError x)
static Term	emptyTypeNameInTermError(EmptyTypeNameInTermError x)
static Term	emptyUnionTypeError(EmptyUnionTypeError x)
static Term	invalidForallParameterNameError(InvalidForallParameterNameError x)
static Term	invalidLambdaParameterNameError(InvalidLambdaParameterNameError x)
static Term	invalidLetBindingNameError(InvalidLetBindingNameError x)
static Term	invalidTermError(InvalidTermError v1)
static Term	invalidTypeError(InvalidTypeError v1)
static Term	invalidTypeLambdaParameterNameError(InvalidTypeLambdaParameterNameError x)
static Term	invalidTypeSchemeVariableNameError(InvalidTypeSchemeVariableNameError x)
static Term	nestedTermAnnotationError(NestedTermAnnotationError x)
static Term	nestedTypeAnnotationError(NestedTypeAnnotationError x)
static Term	nonComparableMapKeyTypeError(NonComparableMapKeyTypeError x)
static Term	nonComparableSetElementTypeError(NonComparableSetElementTypeError x)
static Term	redundantWrapUnwrapError(RedundantWrapUnwrapError x)
static Term	selfApplicationError(SelfApplicationError x)
static Term	singleVariantUnionError(SingleVariantUnionError x)
static Term	termVariableShadowingError(TermVariableShadowingError x)
static Term	typeVariableShadowingInForallError(TypeVariableShadowingInForallError x)
static Term	typeVariableShadowingInTypeLambdaError(TypeVariableShadowingInTypeLambdaError x)
static Term	undefinedFieldError(UndefinedFieldError x)
static Term	undefinedTermVariableError(UndefinedTermVariableError x)
static Term	undefinedTypeVariableError(UndefinedTypeVariableError x)
static Term	undefinedTypeVariableInBindingTypeError(UndefinedTypeVariableInBindingTypeError x)
static Term	undefinedTypeVariableInLambdaDomainError(UndefinedTypeVariableInLambdaDomainError x)
static Term	undefinedTypeVariableInTypeApplicationError(UndefinedTypeVariableInTypeApplicationError x)
static Term	unexpectedTermVariantError(UnexpectedTermVariantError x)
static Term	unexpectedTypeVariantError(UnexpectedTypeVariantError x)
static Term	unknownPrimitiveNameError(UnknownPrimitiveNameError x)
static Term	unnecessaryIdentityApplicationError(UnnecessaryIdentityApplicationError x)
static Term	untypedTermVariableError(UntypedTermVariableError x)
static Term	voidInNonBottomPositionError(VoidInNonBottomPositionError x)

Method Detail

constantConditionError

static Term constantConditionError(ConstantConditionError x)

duplicateBindingError

static Term duplicateBindingError(DuplicateBindingError x)

duplicateFieldError

static Term duplicateFieldError(DuplicateFieldError x)

duplicateRecordTypeFieldNamesError

static Term duplicateRecordTypeFieldNamesError(DuplicateRecordTypeFieldNamesError x)

duplicateUnionTypeFieldNamesError

static Term duplicateUnionTypeFieldNamesError(DuplicateUnionTypeFieldNamesError x)

emptyCaseStatementError

static Term emptyCaseStatementError(EmptyCaseStatementError x)

emptyLetBindingsError

static Term emptyLetBindingsError(EmptyLetBindingsError x)

emptyRecordTypeError

static Term emptyRecordTypeError(EmptyRecordTypeError x)

emptyTermAnnotationError

static Term emptyTermAnnotationError(EmptyTermAnnotationError x)

emptyTypeAnnotationError

static Term emptyTypeAnnotationError(EmptyTypeAnnotationError x)

emptyTypeNameInTermError

static Term emptyTypeNameInTermError(EmptyTypeNameInTermError x)

emptyUnionTypeError

static Term emptyUnionTypeError(EmptyUnionTypeError x)

invalidForallParameterNameError

static Term invalidForallParameterNameError(InvalidForallParameterNameError x)

invalidLambdaParameterNameError

static Term invalidLambdaParameterNameError(InvalidLambdaParameterNameError x)

invalidLetBindingNameError

static Term invalidLetBindingNameError(InvalidLetBindingNameError x)

invalidTermError

static Term invalidTermError(InvalidTermError v1)

invalidTypeError

static Term invalidTypeError(InvalidTypeError v1)

invalidTypeLambdaParameterNameError

static Term invalidTypeLambdaParameterNameError(InvalidTypeLambdaParameterNameError x)

invalidTypeSchemeVariableNameError

static Term invalidTypeSchemeVariableNameError(InvalidTypeSchemeVariableNameError x)

nestedTermAnnotationError

static Term nestedTermAnnotationError(NestedTermAnnotationError x)

nestedTypeAnnotationError

static Term nestedTypeAnnotationError(NestedTypeAnnotationError x)

nonComparableMapKeyTypeError

static Term nonComparableMapKeyTypeError(NonComparableMapKeyTypeError x)

nonComparableSetElementTypeError

static Term nonComparableSetElementTypeError(NonComparableSetElementTypeError x)

redundantWrapUnwrapError

static Term redundantWrapUnwrapError(RedundantWrapUnwrapError x)

selfApplicationError

static Term selfApplicationError(SelfApplicationError x)

singleVariantUnionError

static Term singleVariantUnionError(SingleVariantUnionError x)

termVariableShadowingError

static Term termVariableShadowingError(TermVariableShadowingError x)

typeVariableShadowingInForallError

static Term typeVariableShadowingInForallError(TypeVariableShadowingInForallError x)

typeVariableShadowingInTypeLambdaError

static Term typeVariableShadowingInTypeLambdaError(TypeVariableShadowingInTypeLambdaError x)

undefinedFieldError

static Term undefinedFieldError(UndefinedFieldError x)

undefinedTermVariableError

static Term undefinedTermVariableError(UndefinedTermVariableError x)

undefinedTypeVariableError

static Term undefinedTypeVariableError(UndefinedTypeVariableError x)

undefinedTypeVariableInBindingTypeError

static Term undefinedTypeVariableInBindingTypeError(UndefinedTypeVariableInBindingTypeError x)

undefinedTypeVariableInLambdaDomainError

static Term undefinedTypeVariableInLambdaDomainError(UndefinedTypeVariableInLambdaDomainError x)

undefinedTypeVariableInTypeApplicationError

static Term undefinedTypeVariableInTypeApplicationError(UndefinedTypeVariableInTypeApplicationError x)

unexpectedTermVariantError

static Term unexpectedTermVariantError(UnexpectedTermVariantError x)

unexpectedTypeVariantError

static Term unexpectedTypeVariantError(UnexpectedTypeVariantError x)

unknownPrimitiveNameError

static Term unknownPrimitiveNameError(UnknownPrimitiveNameError x)

unnecessaryIdentityApplicationError

static Term unnecessaryIdentityApplicationError(UnnecessaryIdentityApplicationError x)

untypedTermVariableError

static Term untypedTermVariableError(UntypedTermVariableError x)

voidInNonBottomPositionError

static Term voidInNonBottomPositionError(VoidInNonBottomPositionError x)