tuple meta, tuple meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Tuples, Transformers
Compute and answer the concatenation of the specified tuple types. This is the most specific type that encompasses all possible concatenations of the instances of the two types.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
arg1 |
tuple meta |
A tuple type.
|
| 2 |
arg2 |
tuple meta |
A tuple type.
|
| Returns |
(tuple)'s type |
The requested tuple type.
|
tuple meta's type, tuple meta's type
Source: /avail/Avail/Foundation/Early Tuples
Strengthen concatenation of tuple types. This is the most specific type whose instance encompasses all possible concatenations of the two types.
|
Type |
Description |
| Parameter Types |
| tuple meta's type |
|
| tuple meta's type |
|