TypeSubst (hydra-kernel 0.17.6 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

Nested Class Summary

Nested Classes
Modifier and Type Class Description

static class TypeSubst.Builder
A fluent builder for TypeSubst.

Field Summary

Fields
Modifier and Type	Field	Description
`static Name`	`TYPE_`	Name of the `hydra.typing.TypeSubst` type.
`java.util.Map<Name,Type>`	`value`
`static Name`	`VALUE`	Name of the `hydra.typing.TypeSubst.value` field.

Constructor Summary

Constructors
Constructor Description

TypeSubst(java.util.Map<Name,Type> value)
Constructs an immutable TypeSubst.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static TypeSubst.Builder`	`builder()`	Creates a new fluent builder for `TypeSubst`.
`int`	`compareTo(TypeSubst other)`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`java.lang.String`	`toString()`

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.typing.TypeSubst type.
  - VALUE
```
public static final Name VALUE
```
    Name of the hydra.typing.TypeSubst.value field.
  - value
```
public final java.util.Map<Name,Type> value
```
- Constructor Detail
  - TypeSubst
```
public TypeSubst(java.util.Map<Name,Type> value)
```
    Constructs an immutable TypeSubst.
- 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(TypeSubst other)
```
    Specified by:
    
    compareTo in interface java.lang.Comparable<TypeSubst>
  - builder
```
public static TypeSubst.Builder builder()
```
    Creates a new fluent builder for TypeSubst.