Package net.hydromatic.morel.type

Class ForallType

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

Field Summary

Fields

Modifier and Type	Field	Description
final int	parameterCount
final Type	type

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

op

Constructor Summary

Constructors

Constructor	Description
ForallType(int parameterCount, Type type)

Method Summary

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.
Type	substitute(TypeSystem typeSystem, List<? extends Type> types)	Returns a copy of this type, specialized by substituting type parameters.

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

isProgressive, moniker

Field Details

parameterCount

public final int parameterCount

type

public final Type type

Constructor Details

ForallType

ForallType(int parameterCount,
 Type type)

Method Details

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.

substitute

public Type substitute(TypeSystem typeSystem,
 List<? extends Type> types)

Description copied from interface: Type

Returns a copy of this type, specialized by substituting type parameters.