InferenceError.Checking (hydra-kernel 0.17.6 API)

java.lang.Object
- hydra.errors.InferenceError
- - hydra.errors.InferenceError.Checking

All Implemented Interfaces:

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

Enclosing class:

InferenceError
```
public static final class InferenceError.Checking
extends InferenceError
implements java.io.Serializable
```
A type checking error encountered during inference

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.errors.InferenceError
  InferenceError.Checking, InferenceError.Other, InferenceError.PartialVisitor<R>, InferenceError.Unification, InferenceError.Visitor<R>

Field Summary

Fields
Modifier and Type Field Description

CheckingError value
- Fields inherited from class hydra.errors.InferenceError
  CHECKING, OTHER, TYPE_, UNIFICATION

Constructor Summary

Constructors
Constructor Description

Checking(CheckingError value)
Constructs an immutable InferenceError.Checking.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(InferenceError.Visitor<R> visitor)`	Dispatch to `visitor`.
`int`	`compareTo(InferenceError other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`int`	`hydraOrdinal()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - value
```
public final CheckingError value
```
- Constructor Detail
  - Checking
```
public Checking(CheckingError value)
```
    Constructs an immutable InferenceError.Checking.
- Method Detail
  - equals
```
public boolean equals(java.lang.Object other)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - compareTo
```
public int compareTo(InferenceError other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<InferenceError>
  - hydraOrdinal
```
public int hydraOrdinal()
```
    Specified by:
    
    hydraOrdinal in class InferenceError
  - accept
```
public <R> R accept(InferenceError.Visitor<R> visitor)
```
    Dispatch to visitor.
    
    Specified by:
    
    accept in class InferenceError