Package hydra.scala.syntax

Class PolyFunctionType

java.lang.Object

hydra.scala.syntax.PolyFunctionType

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PolyFunctionType.Builder	A fluent builder for PolyFunctionType.

Field Summary

Fields

Modifier and Type	Field	Description
java.util.List<ParamType>	tparams
static Name	TPARAMS	Name of the hydra.scala.syntax.PolyFunctionType.tparams field.
Type	tpe
static Name	TPE	Name of the hydra.scala.syntax.PolyFunctionType.tpe field.
static Name	TYPE_	Name of the hydra.scala.syntax.PolyFunctionType type.

Constructor Summary

Constructors

Constructor	Description
PolyFunctionType(java.util.List<ParamType> tparams, Type tpe)	Constructs an immutable PolyFunctionType.

Method Summary

Modifier and Type	Method	Description
static PolyFunctionType.Builder	builder()	Creates a new fluent builder for PolyFunctionType.
int	compareTo(PolyFunctionType other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
PolyFunctionType	withTparams(java.util.List<ParamType> tparams)	Returns a copy of this PolyFunctionType with tparams replaced.
PolyFunctionType	withTpe(Type tpe)	Returns a copy of this PolyFunctionType with tpe replaced.

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.scala.syntax.PolyFunctionType type.

TPARAMS

public static final Name TPARAMS

Name of the hydra.scala.syntax.PolyFunctionType.tparams field.

TPE

public static final Name TPE

Name of the hydra.scala.syntax.PolyFunctionType.tpe field.

tparams

public final java.util.List<ParamType> tparams

tpe

public final Type tpe

Constructor Detail

PolyFunctionType

public PolyFunctionType(java.util.List<ParamType> tparams,
                        Type tpe)

Constructs an immutable PolyFunctionType.

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(PolyFunctionType other)

Specified by:

compareTo in interface java.lang.Comparable<PolyFunctionType>

withTparams

public PolyFunctionType withTparams(java.util.List<ParamType> tparams)

Returns a copy of this PolyFunctionType with tparams replaced.

withTpe

public PolyFunctionType withTpe(Type tpe)

Returns a copy of this PolyFunctionType with tpe replaced.

builder

public static PolyFunctionType.Builder builder()

Creates a new fluent builder for PolyFunctionType.