Error_.Inference (hydra-kernel 0.17.6 API)

java.lang.Object
- hydra.errors.Error_
- - hydra.errors.Error_.Inference

All Implemented Interfaces:

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

Enclosing class:

Error_
```
public static final class Error_.Inference
extends Error_
implements java.io.Serializable
```
A type inference error

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.errors.Error_
  Error_.Checking, Error_.Decoding, Error_.DuplicateBinding, Error_.DuplicateField, Error_.Extraction, Error_.Inference, Error_.InvalidLiteral, Error_.Other, Error_.PartialVisitor<R>, Error_.Resolution, Error_.UndefinedField, Error_.UndefinedTermVariable, Error_.UnexpectedTermVariant, Error_.UnexpectedTypeVariant, Error_.Unification, Error_.UntypedTermVariable, Error_.Visitor<R>

Field Summary

Fields
Modifier and Type Field Description

InferenceError value
- Fields inherited from class hydra.errors.Error_
  CHECKING, DECODING, DUPLICATE_BINDING, DUPLICATE_FIELD, EXTRACTION, INFERENCE, INVALID_LITERAL, OTHER, RESOLUTION, TYPE_, UNDEFINED_FIELD, UNDEFINED_TERM_VARIABLE, UNEXPECTED_TERM_VARIANT, UNEXPECTED_TYPE_VARIANT, UNIFICATION, UNTYPED_TERM_VARIABLE

Constructor Summary

Constructors
Constructor Description

Inference(InferenceError value)
Constructs an immutable Error_.Inference.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(Error_.Visitor<R> visitor)`	Dispatch to `visitor`.
`int`	`compareTo(Error_ 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 InferenceError value
```
- Constructor Detail
  - Inference
```
public Inference(InferenceError value)
```
    Constructs an immutable Error_.Inference.
- 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(Error_ other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<Error_>
  - hydraOrdinal
```
public int hydraOrdinal()
```
    Specified by:
    
    hydraOrdinal in class Error_
  - accept
```
public <R> R accept(Error_.Visitor<R> visitor)
```
    Dispatch to visitor.
    
    Specified by:
    
    accept in class Error_