Package hydra.accessors

Class TermAccessor.MaybeTerm

java.lang.Object

hydra.accessors.TermAccessor

hydra.accessors.TermAccessor.MaybeTerm

All Implemented Interfaces:

Serializable, Comparable<TermAccessor>

Enclosing class:

TermAccessor

public static final class TermAccessor.MaybeTerm
extends TermAccessor
implements Serializable

Access the term inside a Just value

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.accessors.TermAccessor

TermAccessor.AnnotatedBody, TermAccessor.ApplicationArgument, TermAccessor.ApplicationFunction, TermAccessor.InjectionTerm, TermAccessor.LambdaBody, TermAccessor.LetBinding, TermAccessor.LetBody, TermAccessor.ListElement, TermAccessor.MapKey, TermAccessor.MapValue, TermAccessor.MaybeTerm, TermAccessor.PartialVisitor<R>, TermAccessor.ProductTerm, TermAccessor.RecordField, TermAccessor.SetElement, TermAccessor.SumTerm, TermAccessor.TypeApplicationTerm, TermAccessor.TypeLambdaBody, TermAccessor.UnionCasesBranch, TermAccessor.UnionCasesDefault, TermAccessor.Visitor<R>, TermAccessor.WrappedTerm

Field Summary

Fields inherited from class hydra.accessors.TermAccessor

ANNOTATED_BODY, APPLICATION_ARGUMENT, APPLICATION_FUNCTION, INJECTION_TERM, LAMBDA_BODY, LET_BINDING, LET_BODY, LIST_ELEMENT, MAP_KEY, MAP_VALUE, MAYBE_TERM, PRODUCT_TERM, RECORD_FIELD, SET_ELEMENT, SUM_TERM, TYPE_, TYPE_APPLICATION_TERM, TYPE_LAMBDA_BODY, UNION_CASES_BRANCH, UNION_CASES_DEFAULT, WRAPPED_TERM

Constructor Summary

Constructors

Constructor	Description
MaybeTerm()

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TermAccessor.Visitor<R> visitor)
int	compareTo(TermAccessor 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

MaybeTerm

public MaybeTerm()

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

Specified by:

compareTo in interface Comparable<TermAccessor>

accept

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

Specified by:

accept in class TermAccessor