tuple of any meta, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Functions, Constructors
Construct and answer a function type with the specified parameter types and return type.
Position | Name | Type | Description | |
---|---|---|---|---|
Parameters | ||||
1 | parameterTypes | tuple of any meta | The parameter types. | |
2 | returnType | type | The return type. | |
Returns | ([…]→⊤)'s type | The requested function type. Instances of this type accept arguments whose types conform to the parameter types and whose return value conforms to the return type. |