Package net.hydromatic.morel.type

Class Keys.ForallTypeApplyKey

java.lang.Object

net.hydromatic.morel.type.Keys.ForallTypeApplyKey

All Implemented Interfaces:

Type.Key

Enclosing class:

Keys

private static class Keys.ForallTypeApplyKey
extends Object
implements Type.Key

Key that applies several type arguments to a datatype scheme.

For example, given forallType = "option" and argTypes = "[int]", returns "int option".

Field Summary

Fields

Modifier and Type	Field	Description
(package private) com.google.common.collect.ImmutableList<Type>	argTypes
(package private) ForallType	forallType

Constructor Summary

Constructors

Constructor	Description
ForallTypeApplyKey(ForallType forallType, com.google.common.collect.ImmutableList<Type> argTypes)

Method Summary

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

forallType

final ForallType forallType

argTypes

final com.google.common.collect.ImmutableList<Type> argTypes

Constructor Detail

ForallTypeApplyKey

ForallTypeApplyKey(ForallType forallType,
                   com.google.common.collect.ImmutableList<Type> argTypes)

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