TypeSubst (hydra-java 0.14.1 API)

java.lang.Object
- hydra.typing.TypeSubst

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<TypeSubst>
```
public class TypeSubst
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<TypeSubst>
```
A substitution of type variables for types

See Also:

Serialized Form

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  static Name TYPE_
  
  PersistentMap<Name,Type> value
  
  static Name VALUE
- Constructor Summary
  
  Constructors
  Constructor Description
  
  TypeSubst(PersistentMap<Name,Type> value)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int compareTo(TypeSubst 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

TYPE_
```
public static final Name TYPE_
```

VALUE
```
public static final Name VALUE
```

value

public final PersistentMap<Name,Type> value

Constructor Detail

TypeSubst

public TypeSubst(PersistentMap<Name,Type> value)

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(TypeSubst other)
```
  Specified by:
  
  compareTo in interface java.lang.Comparable<TypeSubst>