ApplyType (morel 0.3.0 API)

java.lang.Object
- net.hydromatic.morel.type.BaseType
- - net.hydromatic.morel.type.ApplyType

All Implemented Interfaces:

Type
```
public class ApplyType
extends BaseType
```
Type that is a polymorphic type applied to a set of types.

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

ParameterizedType type

com.google.common.collect.ImmutableList<Type> types
- Fields inherited from class net.hydromatic.morel.type.BaseType
  op

Constructor Summary

Constructors
Modifier Constructor Description

protected ApplyType(ParameterizedType type, com.google.common.collect.ImmutableList<Type> types)

Method Summary

All Methods Instance Methods Concrete Methods
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.
`Type.Key`	`key()`	Description of the type, e.g.

Methods inherited from class net.hydromatic.morel.type.BaseType
op, toString

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
moniker, substitute

Field Detail

type
```
public final ParameterizedType type
```

types

public final com.google.common.collect.ImmutableList<Type> types

Constructor Detail

ApplyType

protected ApplyType(ParameterizedType type,
                    com.google.common.collect.ImmutableList<Type> types)

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".
- accept
```
public <R> R accept(TypeVisitor<R> typeVisitor)
```
- 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.