Term.Cases (Hydra Java API)

java.lang.Object
- hydra.core.Term
- - hydra.core.Term.Cases

All Implemented Interfaces:

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

Enclosing class:

Term
```
public static final class Term.Cases
extends Term
implements java.io.Serializable
```
A union elimination; a case statement

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.core.Term
  Term.Annotated, Term.Application, Term.Cases, Term.Either, Term.Inject, Term.Lambda, Term.Let, Term.List, Term.Literal, Term.Map, Term.Optional, Term.Pair, Term.PartialVisitor<R>, Term.Project, Term.Record, Term.Set, Term.TypeApplication, Term.TypeLambda, Term.Unit, Term.Unwrap, Term.Variable, Term.Visitor<R>, Term.Wrap

Field Summary

Fields
Modifier and Type Field Description

CaseStatement value
- Fields inherited from class hydra.core.Term
  ANNOTATED, APPLICATION, CASES, EITHER, INJECT, LAMBDA, LET, LIST, LITERAL, MAP, OPTIONAL, PAIR, PROJECT, RECORD, SET, TYPE_, TYPE_APPLICATION, TYPE_LAMBDA, UNIT, UNWRAP, VARIABLE, WRAP

Constructor Summary

Constructors
Constructor Description

Cases(CaseStatement value)
Constructs an immutable Term.Cases.

Method Summary

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

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

- Field Detail
  - value
```
public final CaseStatement value
```
- Constructor Detail
  - Cases
```
public Cases(CaseStatement value)
```
    Constructs an immutable Term.Cases.
- 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
  - compareTo
```
public int compareTo(Term other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<Term>
  - accept
```
public <R> R accept(Term.Visitor<R> visitor)
```
    Dispatch to visitor.
    
    Specified by:
    
    accept in class Term