Package hydra.typing

Class TypeSubst

java.lang.Object

hydra.typing.TypeSubst

All Implemented Interfaces:

Serializable, Comparable<TypeSubst>

public class TypeSubst
extends Object
implements Serializable, Comparable<TypeSubst>

A substitution of type variables for types

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static final Name	TYPE_
final Map<Name,Type>	value
static final Name	VALUE

Constructor Summary

Constructors

Constructor	Description
TypeSubst(Map<Name,Type> value)

Method Summary

Modifier and Type	Method	Description
int	compareTo(TypeSubst other)
boolean	equals(Object other)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Details

TYPE_

public static final Name TYPE_

VALUE

public static final Name VALUE

value

public final Map<Name,Type> value

Constructor Details

TypeSubst

public TypeSubst(Map<Name,Type> value)

Method Details

equals

public boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

compareTo

public int compareTo(TypeSubst other)

Specified by:

compareTo in interface Comparable<TypeSubst>