Package hydra.typing

Class TermSignature

java.lang.Object

hydra.typing.TermSignature

All Implemented Interfaces:

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

public class TermSignature
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<TermSignature>

A structured signature for a term: an ordered list of type parameters (with optional class constraints), an ordered list of value parameters, and a result. TermSignature is a richer view of TypeScheme: every TermSignature can be converted to a TypeScheme by erasing parameter names, descriptions, and laziness flags.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<Parameter>	parameters	The value parameters of the term, in order
static Name	PARAMETERS	Name of the hydra.typing.TermSignature.parameters field.
Result	result	The result of the term
static Name	RESULT	Name of the hydra.typing.TermSignature.result field.
static Name	TYPE_	Name of the hydra.typing.TermSignature type.
static Name	TYPE_PARAMETERS	Name of the hydra.typing.TermSignature.typeParameters field.
java.util.List<TypeParameter>	typeParameters	The type parameters of the term, in order

Constructor Summary

Constructors

Constructor	Description
TermSignature(java.util.List<TypeParameter> typeParameters, java.util.List<Parameter> parameters, Result result)	Constructs an immutable TermSignature.

Method Summary

Modifier and Type	Method	Description
int	compareTo(TermSignature other)
boolean	equals(java.lang.Object other)
int	hashCode()
TermSignature	withParameters(java.util.List<Parameter> parameters)	Returns a copy of this TermSignature with parameters replaced.
TermSignature	withResult(Result result)	Returns a copy of this TermSignature with result replaced.
TermSignature	withTypeParameters(java.util.List<TypeParameter> typeParameters)	Returns a copy of this TermSignature with typeParameters replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.typing.TermSignature type.

TYPE_PARAMETERS

public static final Name TYPE_PARAMETERS

Name of the hydra.typing.TermSignature.typeParameters field.

PARAMETERS

public static final Name PARAMETERS

Name of the hydra.typing.TermSignature.parameters field.

RESULT

public static final Name RESULT

Name of the hydra.typing.TermSignature.result field.

typeParameters

public final java.util.List<TypeParameter> typeParameters

The type parameters of the term, in order

parameters

public final java.util.List<Parameter> parameters

The value parameters of the term, in order

result

public final Result result

The result of the term

Constructor Detail

TermSignature

public TermSignature(java.util.List<TypeParameter> typeParameters,
                     java.util.List<Parameter> parameters,
                     Result result)

Constructs an immutable TermSignature.

Parameters:

typeParameters - The type parameters of the term, in order

parameters - The value parameters of the term, in order

result - The result of the term

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

Specified by:

compareTo in interface java.lang.Comparable<TermSignature>

withTypeParameters

public TermSignature withTypeParameters(java.util.List<TypeParameter> typeParameters)

Returns a copy of this TermSignature with typeParameters replaced.

withParameters

public TermSignature withParameters(java.util.List<Parameter> parameters)

Returns a copy of this TermSignature with parameters replaced.

withResult

public TermSignature withResult(Result result)

Returns a copy of this TermSignature with result replaced.