Term.Let (hydra-java 0.14.1 API)

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

All Implemented Interfaces:

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

Enclosing class:

Term
```
public static final class Term.Let
extends Term
implements java.io.Serializable
```
A 'let' term, which binds variables to terms

See Also:

Serialized Form

Nested Class Summary
- Nested classes/interfaces inherited from class hydra.core.Term
  Term.Annotated, Term.Application, Term.Either, Term.Function, Term.Let, Term.List, Term.Literal, Term.Map, Term.Maybe, Term.Pair, Term.PartialVisitor<R>, Term.Record, Term.Set, Term.TypeApplication, Term.TypeLambda, Term.Union, Term.Unit, Term.Variable, Term.Visitor<R>, Term.Wrap

Field Summary

Fields
Modifier and Type Field Description

Let value
- Fields inherited from class hydra.core.Term
  ANNOTATED, APPLICATION, EITHER, FUNCTION, LET, LIST, LITERAL, MAP, MAYBE, PAIR, RECORD, SET, TYPE_, TYPE_APPLICATION, TYPE_LAMBDA, UNION, UNIT, VARIABLE, WRAP

Constructor Summary

Constructors
Constructor Description

Let(Let value)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(Term.Visitor<R> 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 Let value
```
- Constructor Detail
  - Let
```
public Let(Let value)
```
- 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)
```
    Specified by:
    
    accept in class Term