⊥'s type
Source: /avail/Avail/Foundation/Early Control Structures
Categories: Types, Queries
The cardinality of ⊥ is also ⊥. This is supplied to disambiguate `|`|_`|`|.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | bottomMeta | ⊥'s type | ||
| Returns | ⊥ | |||
tuple meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Tuples, Queries
Answer the range of allowed cardinalities of instances of the specified type.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aTupleType | tuple meta | A tuple type. | |
| Returns | ([0..∞))'s type | The argument's cardinality requirement. | ||
set meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Sets, Queries
Answer the acceptable range of cardinalities for instances of the specified set type.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aSetType | set meta | A set type. | |
| Returns | ([0..∞))'s type | The argument's cardinality requirement. | ||
map meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Maps, Queries
Answer the acceptable range of cardinalities for instances of the specified map type.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aMapType | map meta | A map type. | |
| Returns | ([0..∞))'s type | The argument's cardinality requirement. | ||
pojo array meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, POJO, Queries
Answer the cardinality restriction of the specified pojo array type.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | pojoArrayType | pojo array meta | A pojo array type. | |
| Returns | ([0..∞))'s type | The cardinality restriction of pojoArrayType. | ||