Package hydra.java.syntax

Class LambdaParameters.Single

java.lang.Object

hydra.java.syntax.LambdaParameters

hydra.java.syntax.LambdaParameters.Single

All Implemented Interfaces:

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

Enclosing class:

LambdaParameters

public static final class LambdaParameters.Single
extends LambdaParameters
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.java.syntax.LambdaParameters

LambdaParameters.PartialVisitor<R>, LambdaParameters.Single, LambdaParameters.Tuple, LambdaParameters.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
Identifier	value

Fields inherited from class hydra.java.syntax.LambdaParameters

SINGLE, TUPLE, TYPE_

Constructor Summary

Constructors

Constructor	Description
Single(Identifier value)	Constructs an immutable LambdaParameters.Single.

Method Summary

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

Field Detail

value

public final Identifier value

Constructor Detail

Single

public Single(Identifier value)

Constructs an immutable LambdaParameters.Single.

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(LambdaParameters other)

Specified by:

compareTo in interface java.lang.Comparable<LambdaParameters>

accept

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

Dispatch to visitor.

Specified by:

accept in class LambdaParameters