Package net.hydromatic.morel.type

Class FnType

java.lang.Object

net.hydromatic.morel.type.BaseType

net.hydromatic.morel.type.FnType

All Implemented Interfaces:

Type

public class FnType
extends BaseType

The type of a function value.

Field Summary

Fields

Modifier and Type	Field	Description
Type	paramType
Type	resultType

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

description, op

Constructor Summary

Constructors

Constructor	Description
FnType(java.lang.String description, Type paramType, Type resultType)

Method Summary

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

paramType

public final Type paramType

resultType

public final Type resultType

Constructor Detail

FnType

FnType(java.lang.String description,
       Type paramType,
       Type resultType)

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.