tuple meta, natural number
Source: /avail/Avail/Foundation/Early Tuples
Categories: Tuples, Types, Queries
Construct and answer a slice (i.e., tuple type) that begins at subscript
sliceStart and continues to the end of the tuple type.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTupleType |
tuple meta |
A tuple type.
|
| 2 |
sliceStart |
natural number |
The one-based start index (inclusive) of the desired slice.
|
| Returns |
tuple of any meta |
The requested tuple.
|
sequence, natural number
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the requested subsequence of
aSequence.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aSequence |
sequence |
A sequence.
|
| 2 |
startIndex |
natural number |
The index of the start of the subsequence.
|
| Returns |
sequence |
The subsequence beginning at startIndex and ending at |{@param aSequence }|.
|
tuple, natural number
Source: /avail/Avail/Foundation/Early Tuples
Categories: Tuples, Types, Queries
Construct and answer a slice (i.e., subtuple) that begins at subscript
sliceStart and continues to the end of the tuple.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTuple |
tuple |
A tuple.
|
| 2 |
sliceStart |
natural number |
The one-based start index (inclusive) of the desired slice.
|
| Returns |
tuple |
The requested tuple.
|
aTupleType, sliceStart
Source: /avail/Avail/Foundation/Early Tuples
Strengthen the tuple type produced by
_[_..] to the strongest possible given the argument types.
|
Type |
Description |
| Parameter Types |
| aTupleType |
tuple meta
|
| sliceStart |
natural number's type
|