Package net.hydromatic.morel.type

Class Keys.OpKey

java.lang.Object

net.hydromatic.morel.type.Type.Key

net.hydromatic.morel.type.Keys.OpKey

Enclosing class:

Keys

private static class Keys.OpKey
extends Type.Key

Key of a type that applies a built-in type constructor to specific type arguments.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final com.google.common.collect.ImmutableList<Type.Key>	args

Fields inherited from class net.hydromatic.morel.type.Type.Key

op

Constructor Summary

Constructors

Constructor	Description
OpKey(Op op, List<Type.Key> args)

Method Summary

Modifier and Type	Method	Description
Type.Key	copy(UnaryOperator<Type.Key> transform)	Copies this key, applying a transform to constituent keys.
StringBuilder	describe(StringBuilder buf, int left, int right)	Writes a description of this key to a string builder.
boolean	equals(Object obj)
int	hashCode()
Type	toType(TypeSystem typeSystem)	Converts this key to a type, and ensures that it is registered in the type system.

Methods inherited from class net.hydromatic.morel.type.Type.Key

substitute, toString

Methods inherited from class java.lang.Object

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

Field Details

args

final com.google.common.collect.ImmutableList<Type.Key> args

Constructor Details

OpKey

OpKey(Op op,
 List<Type.Key> args)

Method Details

describe

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

Description copied from class: Type.Key

Writes a description of this key to a string builder.

Specified by:

describe in class Type.Key

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toType

public Type toType(TypeSystem typeSystem)

Description copied from class: Type.Key

Converts this key to a type, and ensures that it is registered in the type system.

Specified by:

toType in class Type.Key

copy

public Type.Key copy(UnaryOperator<Type.Key> transform)

Description copied from class: Type.Key

Copies this key, applying a transform to constituent keys.

Overrides:

copy in class Type.Key