ForallType (morel 0.2.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.

Field Summary

Fields
Modifier and Type Field Description

Type type

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

Constructor Summary

Constructors
Constructor Description

ForallType(java.lang.String description, 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)`
`Type`	`copy(TypeSystem typeSystem, java.util.function.Function<Type,Type> transform)`	Copies this type, applying a given transform to component types, and returning the original type if the component types are unchanged.

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

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

typeVars

public final java.util.List<TypeVar> typeVars

type
```
public final Type type
```

Constructor Detail

ForallType

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

Method Detail
- accept
```
public <R> R accept(TypeVisitor<R> typeVisitor)
```
- copy
```
public Type copy(TypeSystem typeSystem,
                 java.util.function.Function<Type,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.