Keys.ForallKey (morel 0.3.0 API)

java.lang.Object
- net.hydromatic.morel.type.Keys.ForallKey

All Implemented Interfaces:

Type.Key

Enclosing class:

Keys
```
private static class Keys.ForallKey
extends Object
implements Type.Key
```
Key of a forall type.

Field Summary

Fields
Modifier and Type Field Description

(package private) com.google.common.collect.ImmutableList<TypeVar> parameterTypes

(package private) Type type

Constructor Summary

Constructors
Constructor Description

ForallKey(Type type, com.google.common.collect.ImmutableList<TypeVar> parameterTypes)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`StringBuilder`	`describe(StringBuilder buf, int left, int right)`
`boolean`	`equals(Object obj)`
`int`	`hashCode()`
`Type`	`toType(TypeSystem typeSystem)`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.hydromatic.morel.type.Type.Key
moniker

Field Detail

type
```
final Type type
```

parameterTypes

final com.google.common.collect.ImmutableList<TypeVar> parameterTypes

Constructor Detail

ForallKey

ForallKey(Type type,
          com.google.common.collect.ImmutableList<TypeVar> parameterTypes)

Method Detail

hashCode
```
public int hashCode()
```
Overrides:

hashCode in class Object

equals
```
public boolean equals(Object obj)
```
Overrides:

equals in class Object

describe

public StringBuilder describe(StringBuilder buf,
                              int left,
                              int right)

Specified by:: describe in interface Type.Key

toType

public Type toType(TypeSystem typeSystem)

Specified by:: toType in interface Type.Key