Package hydra.mantle

Class TermAccessor.OptionalTerm

java.lang.Object

hydra.mantle.TermAccessor

hydra.mantle.TermAccessor.OptionalTerm

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

TermAccessor

public static final class TermAccessor.OptionalTerm
extends TermAccessor
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

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

TermAccessor.AnnotatedSubject, TermAccessor.ApplicationArgument, TermAccessor.ApplicationFunction, TermAccessor.InjectionTerm, TermAccessor.LambdaBody, TermAccessor.LetBinding, TermAccessor.LetEnvironment, TermAccessor.ListElement, TermAccessor.ListFold, TermAccessor.MapKey, TermAccessor.MapValue, TermAccessor.OptionalCasesJust, TermAccessor.OptionalCasesNothing, TermAccessor.OptionalTerm, TermAccessor.PartialVisitor<R>, TermAccessor.ProductTerm, TermAccessor.RecordField, TermAccessor.SetElement, TermAccessor.SumTerm, TermAccessor.TypeAbstractionBody, TermAccessor.TypeApplicationTerm, TermAccessor.TypedTerm, TermAccessor.UnionCasesBranch, TermAccessor.UnionCasesDefault, TermAccessor.Visitor<R>, TermAccessor.WrappedTerm

Field Summary

Fields inherited from class hydra.mantle.TermAccessor

FIELD_NAME_ANNOTATED_SUBJECT, FIELD_NAME_APPLICATION_ARGUMENT, FIELD_NAME_APPLICATION_FUNCTION, FIELD_NAME_INJECTION_TERM, FIELD_NAME_LAMBDA_BODY, FIELD_NAME_LET_BINDING, FIELD_NAME_LET_ENVIRONMENT, FIELD_NAME_LIST_ELEMENT, FIELD_NAME_LIST_FOLD, FIELD_NAME_MAP_KEY, FIELD_NAME_MAP_VALUE, FIELD_NAME_OPTIONAL_CASES_JUST, FIELD_NAME_OPTIONAL_CASES_NOTHING, FIELD_NAME_OPTIONAL_TERM, FIELD_NAME_PRODUCT_TERM, FIELD_NAME_RECORD_FIELD, FIELD_NAME_SET_ELEMENT, FIELD_NAME_SUM_TERM, FIELD_NAME_TYPE_ABSTRACTION_BODY, FIELD_NAME_TYPE_APPLICATION_TERM, FIELD_NAME_TYPED_TERM, FIELD_NAME_UNION_CASES_BRANCH, FIELD_NAME_UNION_CASES_DEFAULT, FIELD_NAME_WRAPPED_TERM, TYPE_NAME

Constructor Summary

Constructors

Constructor	Description
OptionalTerm()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

OptionalTerm

public OptionalTerm()

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

accept

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

Specified by:

accept in class TermAccessor