Package hydra.core

Class Term.Let

java.lang.Object

hydra.core.Term

hydra.core.Term.Let

All Implemented Interfaces:

Serializable, Comparable<Term>

Enclosing class:

Term

public static final class Term.Let
extends Term
implements 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
final 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

Modifier and Type	Method	Description
<R> R	accept(Term.Visitor<R> visitor)
int	compareTo(Term other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Details

value

public final Let value

Constructor Details

Let

public Let(Let value)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(Term other)

Specified by:

compareTo in interface Comparable<Term>

accept

public <R> R accept(Term.Visitor<R> visitor)

Specified by:

accept in class Term