ForallType (morel 0.3.0 API)

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

All Implemented Interfaces:

Type
```
public class ForallType
extends BaseType
```
Universally quantified 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

Type type

List<TypeVar> typeVars
- Fields inherited from class net.hydromatic.morel.type.BaseType
  op

Constructor Summary

Constructors
Constructor Description

ForallType(com.google.common.collect.ImmutableList<TypeVar> typeVars, Type type)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TypeVisitor<R> typeVisitor)`
`ForallType`	`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

typeVars
```
public final List<TypeVar> typeVars
```

type
```
public final Type type
```

Constructor Detail

ForallType

ForallType(com.google.common.collect.ImmutableList<TypeVar> typeVars,
           Type type)

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 ForallType 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.