Package hydra.core
Class Term.Sum
- java.lang.Object
-
- hydra.core.Term
-
- hydra.core.Term.Sum
-
- All Implemented Interfaces:
java.io.Serializable
- Enclosing class:
- Term
public static final class Term.Sum extends Term implements java.io.Serializable
A variant tuple- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.core.Term
Term.Annotated, Term.Application, Term.Function, Term.Let, Term.List, Term.Literal, Term.Map, Term.Optional, Term.PartialVisitor<R>, Term.Product, Term.Record, Term.Set, Term.Sum, Term.TypeAbstraction, Term.TypeApplication, Term.Typed, Term.Union, Term.Variable, Term.Visitor<R>, Term.Wrap
-
-
Field Summary
Fields Modifier and Type Field Description Sum
value
-
Fields inherited from class hydra.core.Term
FIELD_NAME_ANNOTATED, FIELD_NAME_APPLICATION, FIELD_NAME_FUNCTION, FIELD_NAME_LET, FIELD_NAME_LIST, FIELD_NAME_LITERAL, FIELD_NAME_MAP, FIELD_NAME_OPTIONAL, FIELD_NAME_PRODUCT, FIELD_NAME_RECORD, FIELD_NAME_SET, FIELD_NAME_SUM, FIELD_NAME_TYPE_ABSTRACTION, FIELD_NAME_TYPE_APPLICATION, FIELD_NAME_TYPED, FIELD_NAME_UNION, FIELD_NAME_VARIABLE, FIELD_NAME_WRAP, TYPE_NAME
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> R
accept(Term.Visitor<R> visitor)
boolean
equals(java.lang.Object other)
int
hashCode()
-
-
-
Field Detail
-
value
public final Sum value
-
-
Constructor Detail
-
Sum
public Sum(Sum value)
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
accept
public <R> R accept(Term.Visitor<R> visitor)
-
-