Package net.hydromatic.morel.type

Class DataType

java.lang.Object

net.hydromatic.morel.type.BaseType

net.hydromatic.morel.type.ParameterizedType

net.hydromatic.morel.type.DataType

All Implemented Interfaces:

NamedType, Type

Direct Known Subclasses:

TemporaryType

public class DataType
extends ParameterizedType

Algebraic type.

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 Type.Key	key
SortedMap<String,Type>	typeConstructors

Fields inherited from class net.hydromatic.morel.type.ParameterizedType

moniker, name, parameterTypes

Fields inherited from class net.hydromatic.morel.type.BaseType

op

Constructor Summary

Constructors

Modifier	Constructor	Description
(package private)	DataType(String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Creates a DataType.
protected	DataType(Op op, String name, Type.Key key, List<? extends Type> parameterTypes, SortedMap<String,Type> typeConstructors)	Called only from DataType and TemporaryType constructor.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TypeVisitor<R> typeVisitor)
DataType	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.
Keys.DataTypeDef	def()
Type.Key	key()	Description of the type, e.g.
Type	substitute(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Returns a copy of this type, specialized by substituting type parameters.
protected Type	substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)	Second part of the implementation of substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.

Methods inherited from class net.hydromatic.morel.type.ParameterizedType

computeMoniker, moniker, name, toString

Methods inherited from class net.hydromatic.morel.type.BaseType

op

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

op

Field Detail

key

private final Type.Key key

typeConstructors

public final SortedMap<String,Type> typeConstructors

Constructor Detail

DataType

DataType(String name,
         Type.Key key,
         List<? extends Type> parameterTypes,
         SortedMap<String,Type> typeConstructors)

Creates a DataType.

Called only from TypeSystem.dataTypes(List).

If the typeSystem argument is specified, canonizes the types inside type-constructors. This also allows temporary types (necessary while creating self-referential data types) to be replaced with real DataType instances.

During replacement, if a type matches placeholderType it is replaced with this. This allows cyclic graphs to be copied.

DataType

protected DataType(Op op,
                   String name,
                   Type.Key key,
                   List<? extends Type> parameterTypes,
                   SortedMap<String,Type> typeConstructors)

Called only from DataType and TemporaryType constructor.

Method Detail

key

public Type.Key key()

Description copied from interface: Type

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

def

public Keys.DataTypeDef def()

accept

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

copy

public DataType 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.

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.

substitute2

protected Type substitute2(TypeSystem typeSystem,
                           List<? extends Type> types,
                           TypeSystem.Transaction transaction)

Second part of the implementation of substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.