Package hydra.variants

Class TermVariant.Function

java.lang.Object

hydra.variants.TermVariant

hydra.variants.TermVariant.Function

All Implemented Interfaces:

Serializable, Comparable<TermVariant>

Enclosing class:

TermVariant

public static final class TermVariant.Function
extends TermVariant
implements Serializable

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.variants.TermVariant

TermVariant.Annotated, TermVariant.Application, TermVariant.Either, TermVariant.Function, TermVariant.Let, TermVariant.List, TermVariant.Literal, TermVariant.Map, TermVariant.Maybe, TermVariant.Pair, TermVariant.PartialVisitor<R>, TermVariant.Record, TermVariant.Set, TermVariant.TypeApplication, TermVariant.TypeLambda, TermVariant.Union, TermVariant.Unit, TermVariant.Variable, TermVariant.Visitor<R>, TermVariant.Wrap

Field Summary

Fields inherited from class hydra.variants.TermVariant

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
Function()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

Function

public Function()

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(TermVariant other)

Specified by:

compareTo in interface Comparable<TermVariant>

accept

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

Specified by:

accept in class TermVariant