TemporaryType (morel 0.3.0 API)

java.lang.Object
- net.hydromatic.morel.type.BaseType
- - net.hydromatic.morel.type.ParameterizedType
  - - net.hydromatic.morel.type.DataType
    - - net.hydromatic.morel.type.TemporaryType

All Implemented Interfaces:

NamedType, Type
```
public class TemporaryType
extends DataType
```
Placeholder for a type that is being recursively defined.
For example, while defining datatype "list" as follows,
datatype 'a list = NIL | CONS of ('a, 'a list)

we define a temporary type "list", it is used in CONS, and later we convert it to the real data type "list".

Nested Class Summary
- Nested classes/interfaces inherited from interface net.hydromatic.morel.type.Type
  Type.Def, Type.Key

Field Summary
- Fields inherited from class net.hydromatic.morel.type.DataType
  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
Constructor Description

TemporaryType(String name, List<? extends Type> parameterTypes)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TypeVisitor<R> typeVisitor)`
`TemporaryType`	`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.
`protected Type`	`substitute2(TypeSystem typeSystem, List<? extends Type> types, TypeSystem.Transaction transaction)`	Second part of the implementation of `DataType.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.DataType
def, key, substitute

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

- Constructor Detail
  - TemporaryType
```
TemporaryType(String name,
              List<? extends Type> parameterTypes)
```
- Method Detail
  - copy
```
public TemporaryType 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
    
    Overrides:
    
    copy in class DataType
  - accept
```
public <R> R accept(TypeVisitor<R> typeVisitor)
```
    Specified by:
    
    accept in interface Type
    
    Overrides:
    
    accept in class DataType
  - substitute2
```
protected Type substitute2(TypeSystem typeSystem,
                           List<? extends Type> types,
                           TypeSystem.Transaction transaction)
```
    Description copied from class: DataType
    
    Second part of the implementation of DataType.substitute(TypeSystem, List, TypeSystem.Transaction), called if there is not already a type of the given description.
    
    Overrides:
    
    substitute2 in class DataType