any meta, any meta, whole number
Source: /avail/Avail/Foundation/Types
Categories: Maps, Types
Construct and answer a map type with the specified key type, value type, and the exact size of the cardinality.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | keyType | any meta | A type to which all keys of instances must conform. | |
| 2 | valueType | any meta | A type to which all values of instances must conform. | |
| 3 | exact size | whole number | The minimum and maximum cardinality. | |
| Returns | map meta | The requested map type. | ||
any meta, any meta, whole number meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Maps, Constructors
Construct and answer a map type with the specified key type, value type, and range of cardinalities.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | keyType | any meta | A type to which all keys of instances must conform. | |
| 2 | valueType | any meta | A type to which all values of instances must conform. | |
| 3 | cardinalityType | whole number meta | The range of cardinalities to which all instances must conform. | |
| Returns | (map)'s type | The requested map type. | ||