Package hydra.variants
Class TermVariant.Unit
- java.lang.Object
-
- hydra.variants.TermVariant
-
- hydra.variants.TermVariant.Unit
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<TermVariant>
- Enclosing class:
- TermVariant
public static final class TermVariant.Unit extends TermVariant implements java.io.Serializable
- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.variants.TermVariant
TermVariant.Annotated, TermVariant.Application, TermVariant.Cases, TermVariant.Either, TermVariant.Inject, TermVariant.Lambda, TermVariant.Let, TermVariant.List, TermVariant.Literal, TermVariant.Map, TermVariant.Optional, TermVariant.Pair, TermVariant.PartialVisitor<R>, TermVariant.Project, TermVariant.Record, TermVariant.Set, TermVariant.TypeApplication, TermVariant.TypeLambda, TermVariant.Unit, TermVariant.Unwrap, TermVariant.Variable, TermVariant.Visitor<R>, TermVariant.Wrap
-
-
Constructor Summary
Constructors Constructor Description Unit()Constructs an immutableTermVariant.Unit.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(TermVariant.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(TermVariant other)booleanequals(java.lang.Object other)inthashCode()
-
-
-
Constructor Detail
-
Unit
public Unit()
Constructs an immutableTermVariant.Unit.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(TermVariant other)
- Specified by:
compareToin interfacejava.lang.Comparable<TermVariant>
-
accept
public <R> R accept(TermVariant.Visitor<R> visitor)
Dispatch tovisitor.- Specified by:
acceptin classTermVariant
-
-