java.lang.Object
- hydra.error.checking.CheckingError

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<CheckingError>

Direct Known Subclasses:

CheckingError.IncorrectUnification, CheckingError.NotAForallType, CheckingError.NotAFunctionType, CheckingError.Other, CheckingError.TypeArityMismatch, CheckingError.TypeMismatch, CheckingError.UnboundTypeVariables, CheckingError.UndefinedTermVariable, CheckingError.UnequalTypes, CheckingError.UnsupportedTermVariant, CheckingError.UntypedLambda, CheckingError.UntypedLetBinding, CheckingError.UntypedTermVariable
```
public abstract class CheckingError
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<CheckingError>
```
An error that occurred during type checking

See Also:

Serialized Form

Nested Class Summary

Nested Classes
Modifier and Type	Class	Description
`static class`	`CheckingError.IncorrectUnification`	A post-unification consistency check failure
`static class`	`CheckingError.NotAForallType`	A type that is not a forall type when one was expected
`static class`	`CheckingError.NotAFunctionType`	A type that is not a function type when one was expected
`static class`	`CheckingError.Other`	A generic checking error
`static interface`	`CheckingError.PartialVisitor<R>`	Partial visitor over `CheckingError` with a default `CheckingError.PartialVisitor.otherwise(hydra.error.checking.CheckingError)` branch.
`static class`	`CheckingError.TypeArityMismatch`	A type constructor applied to the wrong number of arguments
`static class`	`CheckingError.TypeMismatch`	A type mismatch between expected and actual types
`static class`	`CheckingError.UnboundTypeVariables`	Type variables that are not bound in scope
`static class`	`CheckingError.UndefinedTermVariable`	A reference to a term variable that is not bound in scope, encountered during checking
`static class`	`CheckingError.UnequalTypes`	Multiple types that should be equal but are not
`static class`	`CheckingError.UnsupportedTermVariant`	A term variant that the type checker does not support
`static class`	`CheckingError.UntypedLambda`	A lambda expression without a type annotation on its parameter
`static class`	`CheckingError.UntypedLetBinding`	A let binding without a type annotation
`static class`	`CheckingError.UntypedTermVariable`	A reference to a term variable whose type is not known, encountered during checking
`static interface`	`CheckingError.Visitor<R>`	Visitor over `CheckingError`.

Field Summary

Fields
Modifier and Type	Field	Description
`static Name`	`INCORRECT_UNIFICATION`	Name of the `hydra.error.checking.CheckingError.incorrectUnification` field.
`static Name`	`NOT_A_FORALL_TYPE`	Name of the `hydra.error.checking.CheckingError.notAForallType` field.
`static Name`	`NOT_A_FUNCTION_TYPE`	Name of the `hydra.error.checking.CheckingError.notAFunctionType` field.
`static Name`	`OTHER`	Name of the `hydra.error.checking.CheckingError.other` field.
`static Name`	`TYPE_`	Name of the `hydra.error.checking.CheckingError` type.
`static Name`	`TYPE_ARITY_MISMATCH`	Name of the `hydra.error.checking.CheckingError.typeArityMismatch` field.
`static Name`	`TYPE_MISMATCH`	Name of the `hydra.error.checking.CheckingError.typeMismatch` field.
`static Name`	`UNBOUND_TYPE_VARIABLES`	Name of the `hydra.error.checking.CheckingError.unboundTypeVariables` field.
`static Name`	`UNDEFINED_TERM_VARIABLE`	Name of the `hydra.error.checking.CheckingError.undefinedTermVariable` field.
`static Name`	`UNEQUAL_TYPES`	Name of the `hydra.error.checking.CheckingError.unequalTypes` field.
`static Name`	`UNSUPPORTED_TERM_VARIANT`	Name of the `hydra.error.checking.CheckingError.unsupportedTermVariant` field.
`static Name`	`UNTYPED_LAMBDA`	Name of the `hydra.error.checking.CheckingError.untypedLambda` field.
`static Name`	`UNTYPED_LET_BINDING`	Name of the `hydra.error.checking.CheckingError.untypedLetBinding` field.
`static Name`	`UNTYPED_TERM_VARIABLE`	Name of the `hydra.error.checking.CheckingError.untypedTermVariable` field.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type Method Description

abstract <R> R accept(CheckingError.Visitor<R> visitor)
Dispatch to visitor.
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface java.lang.Comparable
  compareTo

- Field Detail
  - TYPE_
```
public static final Name TYPE_
```
    Name of the hydra.error.checking.CheckingError type.
  - INCORRECT_UNIFICATION
```
public static final Name INCORRECT_UNIFICATION
```
    Name of the hydra.error.checking.CheckingError.incorrectUnification field.
  - NOT_A_FORALL_TYPE
```
public static final Name NOT_A_FORALL_TYPE
```
    Name of the hydra.error.checking.CheckingError.notAForallType field.
  - NOT_A_FUNCTION_TYPE
```
public static final Name NOT_A_FUNCTION_TYPE
```
    Name of the hydra.error.checking.CheckingError.notAFunctionType field.
  - OTHER
```
public static final Name OTHER
```
    Name of the hydra.error.checking.CheckingError.other field.
  - TYPE_ARITY_MISMATCH
```
public static final Name TYPE_ARITY_MISMATCH
```
    Name of the hydra.error.checking.CheckingError.typeArityMismatch field.
  - TYPE_MISMATCH
```
public static final Name TYPE_MISMATCH
```
    Name of the hydra.error.checking.CheckingError.typeMismatch field.
  - UNBOUND_TYPE_VARIABLES
```
public static final Name UNBOUND_TYPE_VARIABLES
```
    Name of the hydra.error.checking.CheckingError.unboundTypeVariables field.
  - UNDEFINED_TERM_VARIABLE
```
public static final Name UNDEFINED_TERM_VARIABLE
```
    Name of the hydra.error.checking.CheckingError.undefinedTermVariable field.
  - UNEQUAL_TYPES
```
public static final Name UNEQUAL_TYPES
```
    Name of the hydra.error.checking.CheckingError.unequalTypes field.
  - UNSUPPORTED_TERM_VARIANT
```
public static final Name UNSUPPORTED_TERM_VARIANT
```
    Name of the hydra.error.checking.CheckingError.unsupportedTermVariant field.
  - UNTYPED_LAMBDA
```
public static final Name UNTYPED_LAMBDA
```
    Name of the hydra.error.checking.CheckingError.untypedLambda field.
  - UNTYPED_LET_BINDING
```
public static final Name UNTYPED_LET_BINDING
```
    Name of the hydra.error.checking.CheckingError.untypedLetBinding field.
  - UNTYPED_TERM_VARIABLE
```
public static final Name UNTYPED_TERM_VARIABLE
```
    Name of the hydra.error.checking.CheckingError.untypedTermVariable field.
- Method Detail
  - accept
```
public abstract <R> R accept(CheckingError.Visitor<R> visitor)
```
    Dispatch to visitor.

Class CheckingError

Nested Class Summary

Field Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Comparable

Field Detail

TYPE_

INCORRECT_UNIFICATION

NOT_A_FORALL_TYPE

NOT_A_FUNCTION_TYPE

OTHER

TYPE_ARITY_MISMATCH

TYPE_MISMATCH

UNBOUND_TYPE_VARIABLES

UNDEFINED_TERM_VARIABLE

UNEQUAL_TYPES

UNSUPPORTED_TERM_VARIANT

UNTYPED_LAMBDA

UNTYPED_LET_BINDING

UNTYPED_TERM_VARIABLE

Method Detail

accept