Package net.hydromatic.morel.type

Class TypeVar

java.lang.Object

net.hydromatic.morel.type.TypeVar

All Implemented Interfaces:

Type

public class TypeVar
extends Object
implements Type

Type variable (e.g. 'a).

Nested Class Summary

Nested classes/interfaces inherited from interface net.hydromatic.morel.type.Type

Type.Def, Type.Key

Field Summary

Fields

Modifier and Type	Field	Description
private static char[]	ALPHAS
private String	name
private static com.google.common.cache.LoadingCache<Integer,String>	NAME_CACHE
(package private) int	ordinal

Constructor Summary

Constructors

Constructor	Description
TypeVar(int ordinal)	Creates a type variable with a given ordinal.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TypeVisitor<R> typeVisitor)
Type	copy(TypeSystem typeSystem, UnaryOperator<Type> transform)	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.
boolean	equals(Object obj)
int	hashCode()
Type.Key	key()	Description of the type, e.g.
(package private) static String	name(int i)	Generates a name for a type variable.
Op	op()	Type operator.
Type	substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Returns a copy of this type, specialized by substituting type parameters.
String	toString()	Returns a string for debugging.

Methods inherited from class java.lang.Object

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

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

moniker

Field Detail

ALPHAS

private static final char[] ALPHAS

NAME_CACHE

private static final com.google.common.cache.LoadingCache<Integer,String> NAME_CACHE

ordinal

final int ordinal

name

private final String name

Constructor Detail

TypeVar

public TypeVar(int ordinal)

Creates a type variable with a given ordinal.

TypeVar.of(0) returns "'a"; TypeVar.of(1) returns "'b", etc.

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Returns a string for debugging.

Overrides:

toString in class Object

accept

public <R> R accept(TypeVisitor<R> typeVisitor)

Specified by:

accept in interface Type

name

static String name(int i)

Generates a name for a type variable.

0 → 'a, 1 → 'b, 26 → 'z, 27 → 'ba, 28 → 'bb, 675 → 'zz, 676 → 'baa, etc. (Think of it is a base 26 number, with "a" as 0, "z" as 25.)

key

public Type.Key key()

Description copied from interface: Type

Description of the type, e.g. "int", "int -> int", "NONE | SOME of 'a".

Specified by:

key in interface Type

op

public Op op()

Description copied from interface: Type

Type operator.

Specified by:

op in interface Type

copy

public Type copy(TypeSystem typeSystem,
                 UnaryOperator<Type> transform)

Description copied from interface: Type

Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.

Specified by:

copy in interface Type

substitute

public Type substitute(TypeSystem typeSystem,
                       List<? extends Type> types,
                       TypeSystem.Transaction transaction)

Description copied from interface: Type

Returns a copy of this type, specialized by substituting type parameters.

Specified by:

substitute in interface Type