FnType (morel 0.3.0 API)

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.Def, Type.Key

Field Summary

Fields
Modifier and Type Field Description

Type paramType

Type resultType
- Fields inherited from class net.hydromatic.morel.type.BaseType
  op

Constructor Summary

Constructors
Constructor Description

FnType(Type paramType, Type resultType)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<R> R`	`accept(TypeVisitor<R> typeVisitor)`
`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
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
  - paramType
```
public final Type paramType
```
  - resultType
```
public final Type resultType
```
- Constructor Detail
  - FnType
```
FnType(Type paramType,
       Type resultType)
```
- 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 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.