Package hydra.core

Class Term.Annotated

java.lang.Object

hydra.core.Term

hydra.core.Term.Annotated

All Implemented Interfaces:

Serializable, Comparable<Term>

Enclosing class:

Term

public static final class Term.Annotated
extends Term
implements Serializable

A term annotated with metadata

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 AnnotatedTerm	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
Annotated(AnnotatedTerm 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 AnnotatedTerm value

Constructor Details

Annotated

public Annotated(AnnotatedTerm 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