```
public interface Core
```
Term decoders for hydra.error.core

Method Summary

Static Methods
Modifier and Type	Method	Description
`static Either<DecodingError,ConstantConditionError>`	`constantConditionError(Graph cx, Term raw)`	Decoder for hydra.error.core.ConstantConditionError
`static Either<DecodingError,DuplicateBindingError>`	`duplicateBindingError(Graph cx, Term raw)`	Decoder for hydra.error.core.DuplicateBindingError
`static Either<DecodingError,DuplicateFieldError>`	`duplicateFieldError(Graph cx, Term raw)`	Decoder for hydra.error.core.DuplicateFieldError
`static Either<DecodingError,DuplicateRecordTypeFieldNamesError>`	`duplicateRecordTypeFieldNamesError(Graph cx, Term raw)`	Decoder for hydra.error.core.DuplicateRecordTypeFieldNamesError
`static Either<DecodingError,DuplicateUnionTypeFieldNamesError>`	`duplicateUnionTypeFieldNamesError(Graph cx, Term raw)`	Decoder for hydra.error.core.DuplicateUnionTypeFieldNamesError
`static Either<DecodingError,EmptyCaseStatementError>`	`emptyCaseStatementError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyCaseStatementError
`static Either<DecodingError,EmptyLetBindingsError>`	`emptyLetBindingsError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyLetBindingsError
`static Either<DecodingError,EmptyRecordTypeError>`	`emptyRecordTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyRecordTypeError
`static Either<DecodingError,EmptyTermAnnotationError>`	`emptyTermAnnotationError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyTermAnnotationError
`static Either<DecodingError,EmptyTypeAnnotationError>`	`emptyTypeAnnotationError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyTypeAnnotationError
`static Either<DecodingError,EmptyTypeNameInTermError>`	`emptyTypeNameInTermError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyTypeNameInTermError
`static Either<DecodingError,EmptyUnionTypeError>`	`emptyUnionTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.EmptyUnionTypeError
`static Either<DecodingError,ExtraRecordFieldsError>`	`extraRecordFieldsError(Graph cx, Term raw)`	Decoder for hydra.error.core.ExtraRecordFieldsError
`static Either<DecodingError,InvalidForallParameterNameError>`	`invalidForallParameterNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidForallParameterNameError
`static Either<DecodingError,InvalidLambdaParameterNameError>`	`invalidLambdaParameterNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidLambdaParameterNameError
`static Either<DecodingError,InvalidLetBindingNameError>`	`invalidLetBindingNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidLetBindingNameError
`static Either<DecodingError,InvalidLiteralError>`	`invalidLiteralError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidLiteralError
`static Either<DecodingError,InvalidTermError>`	`invalidTermError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidTermError
`static Either<DecodingError,InvalidTypeError>`	`invalidTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidTypeError
`static Either<DecodingError,InvalidTypeLambdaParameterNameError>`	`invalidTypeLambdaParameterNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidTypeLambdaParameterNameError
`static Either<DecodingError,InvalidTypeSchemeVariableNameError>`	`invalidTypeSchemeVariableNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.InvalidTypeSchemeVariableNameError
`static Either<DecodingError,LiteralTypeMismatchError>`	`literalTypeMismatchError(Graph cx, Term raw)`	Decoder for hydra.error.core.LiteralTypeMismatchError
`static Either<DecodingError,MissingCaseBranchesError>`	`missingCaseBranchesError(Graph cx, Term raw)`	Decoder for hydra.error.core.MissingCaseBranchesError
`static Either<DecodingError,MissingRecordFieldsError>`	`missingRecordFieldsError(Graph cx, Term raw)`	Decoder for hydra.error.core.MissingRecordFieldsError
`static Either<DecodingError,NestedTermAnnotationError>`	`nestedTermAnnotationError(Graph cx, Term raw)`	Decoder for hydra.error.core.NestedTermAnnotationError
`static Either<DecodingError,NestedTypeAnnotationError>`	`nestedTypeAnnotationError(Graph cx, Term raw)`	Decoder for hydra.error.core.NestedTypeAnnotationError
`static Either<DecodingError,NominalTypeKindMismatchError>`	`nominalTypeKindMismatchError(Graph cx, Term raw)`	Decoder for hydra.error.core.NominalTypeKindMismatchError
`static Either<DecodingError,NonComparableMapKeyTypeError>`	`nonComparableMapKeyTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.NonComparableMapKeyTypeError
`static Either<DecodingError,NonComparableSetElementTypeError>`	`nonComparableSetElementTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.NonComparableSetElementTypeError
`static Either<DecodingError,RedundantWrapUnwrapError>`	`redundantWrapUnwrapError(Graph cx, Term raw)`	Decoder for hydra.error.core.RedundantWrapUnwrapError
`static Either<DecodingError,SelfApplicationError>`	`selfApplicationError(Graph cx, Term raw)`	Decoder for hydra.error.core.SelfApplicationError
`static Either<DecodingError,SingleVariantUnionError>`	`singleVariantUnionError(Graph cx, Term raw)`	Decoder for hydra.error.core.SingleVariantUnionError
`static Either<DecodingError,TermVariableShadowingError>`	`termVariableShadowingError(Graph cx, Term raw)`	Decoder for hydra.error.core.TermVariableShadowingError
`static Either<DecodingError,TypeVariableShadowingInForallError>`	`typeVariableShadowingInForallError(Graph cx, Term raw)`	Decoder for hydra.error.core.TypeVariableShadowingInForallError
`static Either<DecodingError,TypeVariableShadowingInTypeLambdaError>`	`typeVariableShadowingInTypeLambdaError(Graph cx, Term raw)`	Decoder for hydra.error.core.TypeVariableShadowingInTypeLambdaError
`static Either<DecodingError,UndeclaredVariantError>`	`undeclaredVariantError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndeclaredVariantError
`static Either<DecodingError,UndefinedFieldError>`	`undefinedFieldError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedFieldError
`static Either<DecodingError,UndefinedTermVariableError>`	`undefinedTermVariableError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedTermVariableError
`static Either<DecodingError,UndefinedTypeVariableError>`	`undefinedTypeVariableError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedTypeVariableError
`static Either<DecodingError,UndefinedTypeVariableInBindingTypeError>`	`undefinedTypeVariableInBindingTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedTypeVariableInBindingTypeError
`static Either<DecodingError,UndefinedTypeVariableInLambdaDomainError>`	`undefinedTypeVariableInLambdaDomainError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedTypeVariableInLambdaDomainError
`static Either<DecodingError,UndefinedTypeVariableInTypeApplicationError>`	`undefinedTypeVariableInTypeApplicationError(Graph cx, Term raw)`	Decoder for hydra.error.core.UndefinedTypeVariableInTypeApplicationError
`static Either<DecodingError,UnexpectedTermVariantError>`	`unexpectedTermVariantError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnexpectedTermVariantError
`static Either<DecodingError,UnexpectedTypeVariantError>`	`unexpectedTypeVariantError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnexpectedTypeVariantError
`static Either<DecodingError,UnknownCaseAlternativeError>`	`unknownCaseAlternativeError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnknownCaseAlternativeError
`static Either<DecodingError,UnknownPrimitiveNameError>`	`unknownPrimitiveNameError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnknownPrimitiveNameError
`static Either<DecodingError,UnknownProjectedFieldError>`	`unknownProjectedFieldError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnknownProjectedFieldError
`static Either<DecodingError,UnnecessaryIdentityApplicationError>`	`unnecessaryIdentityApplicationError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnnecessaryIdentityApplicationError
`static Either<DecodingError,UnresolvedNominalTypeError>`	`unresolvedNominalTypeError(Graph cx, Term raw)`	Decoder for hydra.error.core.UnresolvedNominalTypeError
`static Either<DecodingError,UntypedTermVariableError>`	`untypedTermVariableError(Graph cx, Term raw)`	Decoder for hydra.error.core.UntypedTermVariableError
`static Either<DecodingError,VoidInNonBottomPositionError>`	`voidInNonBottomPositionError(Graph cx, Term raw)`	Decoder for hydra.error.core.VoidInNonBottomPositionError

Method Detail

constantConditionError

static Either<DecodingError,ConstantConditionError> constantConditionError(Graph cx,
                                                                                 Term raw)

Decoder for hydra.error.core.ConstantConditionError

duplicateBindingError

static Either<DecodingError,DuplicateBindingError> duplicateBindingError(Graph cx,
                                                                               Term raw)

Decoder for hydra.error.core.DuplicateBindingError

duplicateFieldError

static Either<DecodingError,DuplicateFieldError> duplicateFieldError(Graph cx,
                                                                           Term raw)

Decoder for hydra.error.core.DuplicateFieldError

duplicateRecordTypeFieldNamesError

static Either<DecodingError,DuplicateRecordTypeFieldNamesError> duplicateRecordTypeFieldNamesError(Graph cx,
                                                                                                         Term raw)

Decoder for hydra.error.core.DuplicateRecordTypeFieldNamesError

duplicateUnionTypeFieldNamesError

static Either<DecodingError,DuplicateUnionTypeFieldNamesError> duplicateUnionTypeFieldNamesError(Graph cx,
                                                                                                       Term raw)

Decoder for hydra.error.core.DuplicateUnionTypeFieldNamesError

emptyCaseStatementError

static Either<DecodingError,EmptyCaseStatementError> emptyCaseStatementError(Graph cx,
                                                                                   Term raw)

Decoder for hydra.error.core.EmptyCaseStatementError

emptyLetBindingsError

static Either<DecodingError,EmptyLetBindingsError> emptyLetBindingsError(Graph cx,
                                                                               Term raw)

Decoder for hydra.error.core.EmptyLetBindingsError

emptyRecordTypeError

static Either<DecodingError,EmptyRecordTypeError> emptyRecordTypeError(Graph cx,
                                                                             Term raw)

Decoder for hydra.error.core.EmptyRecordTypeError

emptyTermAnnotationError

static Either<DecodingError,EmptyTermAnnotationError> emptyTermAnnotationError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.EmptyTermAnnotationError

emptyTypeAnnotationError

static Either<DecodingError,EmptyTypeAnnotationError> emptyTypeAnnotationError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.EmptyTypeAnnotationError

emptyTypeNameInTermError

static Either<DecodingError,EmptyTypeNameInTermError> emptyTypeNameInTermError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.EmptyTypeNameInTermError

emptyUnionTypeError

static Either<DecodingError,EmptyUnionTypeError> emptyUnionTypeError(Graph cx,
                                                                           Term raw)

Decoder for hydra.error.core.EmptyUnionTypeError

extraRecordFieldsError

static Either<DecodingError,ExtraRecordFieldsError> extraRecordFieldsError(Graph cx,
                                                                                 Term raw)

Decoder for hydra.error.core.ExtraRecordFieldsError

invalidForallParameterNameError

static Either<DecodingError,InvalidForallParameterNameError> invalidForallParameterNameError(Graph cx,
                                                                                                   Term raw)

Decoder for hydra.error.core.InvalidForallParameterNameError

invalidLambdaParameterNameError

static Either<DecodingError,InvalidLambdaParameterNameError> invalidLambdaParameterNameError(Graph cx,
                                                                                                   Term raw)

Decoder for hydra.error.core.InvalidLambdaParameterNameError

invalidLetBindingNameError

static Either<DecodingError,InvalidLetBindingNameError> invalidLetBindingNameError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.InvalidLetBindingNameError

invalidLiteralError

static Either<DecodingError,InvalidLiteralError> invalidLiteralError(Graph cx,
                                                                           Term raw)

Decoder for hydra.error.core.InvalidLiteralError

invalidTermError

static Either<DecodingError,InvalidTermError> invalidTermError(Graph cx,
                                                                     Term raw)

Decoder for hydra.error.core.InvalidTermError

invalidTypeError

static Either<DecodingError,InvalidTypeError> invalidTypeError(Graph cx,
                                                                     Term raw)

Decoder for hydra.error.core.InvalidTypeError

invalidTypeLambdaParameterNameError

static Either<DecodingError,InvalidTypeLambdaParameterNameError> invalidTypeLambdaParameterNameError(Graph cx,
                                                                                                           Term raw)

Decoder for hydra.error.core.InvalidTypeLambdaParameterNameError

invalidTypeSchemeVariableNameError

static Either<DecodingError,InvalidTypeSchemeVariableNameError> invalidTypeSchemeVariableNameError(Graph cx,
                                                                                                         Term raw)

Decoder for hydra.error.core.InvalidTypeSchemeVariableNameError

literalTypeMismatchError

static Either<DecodingError,LiteralTypeMismatchError> literalTypeMismatchError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.LiteralTypeMismatchError

missingCaseBranchesError

static Either<DecodingError,MissingCaseBranchesError> missingCaseBranchesError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.MissingCaseBranchesError

missingRecordFieldsError

static Either<DecodingError,MissingRecordFieldsError> missingRecordFieldsError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.MissingRecordFieldsError

nestedTermAnnotationError

static Either<DecodingError,NestedTermAnnotationError> nestedTermAnnotationError(Graph cx,
                                                                                       Term raw)

Decoder for hydra.error.core.NestedTermAnnotationError

nestedTypeAnnotationError

static Either<DecodingError,NestedTypeAnnotationError> nestedTypeAnnotationError(Graph cx,
                                                                                       Term raw)

Decoder for hydra.error.core.NestedTypeAnnotationError

nominalTypeKindMismatchError

static Either<DecodingError,NominalTypeKindMismatchError> nominalTypeKindMismatchError(Graph cx,
                                                                                             Term raw)

Decoder for hydra.error.core.NominalTypeKindMismatchError

nonComparableMapKeyTypeError

static Either<DecodingError,NonComparableMapKeyTypeError> nonComparableMapKeyTypeError(Graph cx,
                                                                                             Term raw)

Decoder for hydra.error.core.NonComparableMapKeyTypeError

nonComparableSetElementTypeError

static Either<DecodingError,NonComparableSetElementTypeError> nonComparableSetElementTypeError(Graph cx,
                                                                                                     Term raw)

Decoder for hydra.error.core.NonComparableSetElementTypeError

redundantWrapUnwrapError

static Either<DecodingError,RedundantWrapUnwrapError> redundantWrapUnwrapError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.RedundantWrapUnwrapError

selfApplicationError

static Either<DecodingError,SelfApplicationError> selfApplicationError(Graph cx,
                                                                             Term raw)

Decoder for hydra.error.core.SelfApplicationError

singleVariantUnionError

static Either<DecodingError,SingleVariantUnionError> singleVariantUnionError(Graph cx,
                                                                                   Term raw)

Decoder for hydra.error.core.SingleVariantUnionError

termVariableShadowingError

static Either<DecodingError,TermVariableShadowingError> termVariableShadowingError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.TermVariableShadowingError

typeVariableShadowingInForallError

static Either<DecodingError,TypeVariableShadowingInForallError> typeVariableShadowingInForallError(Graph cx,
                                                                                                         Term raw)

Decoder for hydra.error.core.TypeVariableShadowingInForallError

typeVariableShadowingInTypeLambdaError

static Either<DecodingError,TypeVariableShadowingInTypeLambdaError> typeVariableShadowingInTypeLambdaError(Graph cx,
                                                                                                                 Term raw)

Decoder for hydra.error.core.TypeVariableShadowingInTypeLambdaError

undeclaredVariantError

static Either<DecodingError,UndeclaredVariantError> undeclaredVariantError(Graph cx,
                                                                                 Term raw)

Decoder for hydra.error.core.UndeclaredVariantError

undefinedFieldError

static Either<DecodingError,UndefinedFieldError> undefinedFieldError(Graph cx,
                                                                           Term raw)

Decoder for hydra.error.core.UndefinedFieldError

undefinedTermVariableError

static Either<DecodingError,UndefinedTermVariableError> undefinedTermVariableError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UndefinedTermVariableError

undefinedTypeVariableError

static Either<DecodingError,UndefinedTypeVariableError> undefinedTypeVariableError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UndefinedTypeVariableError

undefinedTypeVariableInBindingTypeError

static Either<DecodingError,UndefinedTypeVariableInBindingTypeError> undefinedTypeVariableInBindingTypeError(Graph cx,
                                                                                                                   Term raw)

Decoder for hydra.error.core.UndefinedTypeVariableInBindingTypeError

undefinedTypeVariableInLambdaDomainError

static Either<DecodingError,UndefinedTypeVariableInLambdaDomainError> undefinedTypeVariableInLambdaDomainError(Graph cx,
                                                                                                                     Term raw)

Decoder for hydra.error.core.UndefinedTypeVariableInLambdaDomainError

undefinedTypeVariableInTypeApplicationError

static Either<DecodingError,UndefinedTypeVariableInTypeApplicationError> undefinedTypeVariableInTypeApplicationError(Graph cx,
                                                                                                                           Term raw)

Decoder for hydra.error.core.UndefinedTypeVariableInTypeApplicationError

unexpectedTermVariantError

static Either<DecodingError,UnexpectedTermVariantError> unexpectedTermVariantError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UnexpectedTermVariantError

unexpectedTypeVariantError

static Either<DecodingError,UnexpectedTypeVariantError> unexpectedTypeVariantError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UnexpectedTypeVariantError

unknownCaseAlternativeError

static Either<DecodingError,UnknownCaseAlternativeError> unknownCaseAlternativeError(Graph cx,
                                                                                           Term raw)

Decoder for hydra.error.core.UnknownCaseAlternativeError

unknownPrimitiveNameError

static Either<DecodingError,UnknownPrimitiveNameError> unknownPrimitiveNameError(Graph cx,
                                                                                       Term raw)

Decoder for hydra.error.core.UnknownPrimitiveNameError

unknownProjectedFieldError

static Either<DecodingError,UnknownProjectedFieldError> unknownProjectedFieldError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UnknownProjectedFieldError

unnecessaryIdentityApplicationError

static Either<DecodingError,UnnecessaryIdentityApplicationError> unnecessaryIdentityApplicationError(Graph cx,
                                                                                                           Term raw)

Decoder for hydra.error.core.UnnecessaryIdentityApplicationError

unresolvedNominalTypeError

static Either<DecodingError,UnresolvedNominalTypeError> unresolvedNominalTypeError(Graph cx,
                                                                                         Term raw)

Decoder for hydra.error.core.UnresolvedNominalTypeError

untypedTermVariableError

static Either<DecodingError,UntypedTermVariableError> untypedTermVariableError(Graph cx,
                                                                                     Term raw)

Decoder for hydra.error.core.UntypedTermVariableError

voidInNonBottomPositionError

static Either<DecodingError,VoidInNonBottomPositionError> voidInNonBottomPositionError(Graph cx,
                                                                                             Term raw)

Decoder for hydra.error.core.VoidInNonBottomPositionError

Interface Core