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.

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 Type	paramType
final Type	resultType

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

op

Constructor Summary

Constructors

Constructor	Description
FnType(Type paramType, Type resultType)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(TypeVisitor<R> typeVisitor)
boolean	canCallArgOf(Type type)	Whether this type is a function that can call an argument of given type.
FnType	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

equals, hashCode, op, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.hydromatic.morel.type.Type

arg, isCollection, isFinite, isProgressive, moniker, specializes, substitute, unifyWith

Field Details

paramType

public final Type paramType

resultType

public final Type resultType

Constructor Details

FnType

FnType(Type paramType,
 Type resultType)

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

canCallArgOf

public boolean canCallArgOf(Type type)

Description copied from interface: Type

Whether this type is a function that can call an argument of given type.

For example:

• int is not a function and therefore results false for all argument types;
• bool -> int can call arguments of type bool and 'a but not int or ('a, 'b);
• forall 'a. 'a list -> bool can call arguments of type int list and string list list but not int option.