Package hydra.variants
Class TermVariant.Unit
java.lang.Object
hydra.variants.TermVariant
hydra.variants.TermVariant.Unit
- All Implemented Interfaces:
Serializable,Comparable<TermVariant>
- Enclosing class:
- TermVariant
- See Also:
-
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 -
Method Summary
Modifier and TypeMethodDescription<R> Raccept(TermVariant.Visitor<R> visitor) intcompareTo(TermVariant other) booleaninthashCode()
-
Constructor Details
-
Unit
public Unit()
-
-
Method Details
-
equals
-
hashCode
public int hashCode() -
compareTo
- Specified by:
compareToin interfaceComparable<TermVariant>
-
accept
- Specified by:
acceptin classTermVariant
-