Package hydra.variants

Class TypeVariant.Literal

java.lang.Object

hydra.variants.TypeVariant

hydra.variants.TypeVariant.Literal

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<TypeVariant>

Enclosing class:

TypeVariant

public static final class TypeVariant.Literal
extends TypeVariant
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.variants.TypeVariant

TypeVariant.Annotated, TypeVariant.Application, TypeVariant.Either, TypeVariant.Forall, TypeVariant.Function, TypeVariant.List, TypeVariant.Literal, TypeVariant.Map, TypeVariant.Maybe, TypeVariant.Pair, TypeVariant.PartialVisitor<R>, TypeVariant.Record, TypeVariant.Set, TypeVariant.Union, TypeVariant.Unit, TypeVariant.Variable, TypeVariant.Visitor<R>, TypeVariant.Void_, TypeVariant.Wrap

Field Summary

Fields inherited from class hydra.variants.TypeVariant

ANNOTATED, APPLICATION, EITHER, FORALL, FUNCTION, LIST, LITERAL, MAP, MAYBE, PAIR, RECORD, SET, TYPE_, UNION, UNIT, VARIABLE, VOID, WRAP

Constructor Summary

Constructors

Constructor	Description
Literal()

Method Summary

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

Literal

public Literal()

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

compareTo

public int compareTo(TypeVariant other)

Specified by:

compareTo in interface java.lang.Comparable<TypeVariant>

accept

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

Specified by:

accept in class TypeVariant