sequence, natural number, whole 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.
|
| 3 |
endIndex |
whole number |
The index of the end of the subsequence. May be 1 less than startIndex (to indicate an empty sequence).
|
| Returns |
sequence |
The requested sequence.
|
tuple meta, natural number, whole number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Types, Tuples, Queries
Compute and answer a tuple containing the requested element types. Indices that are out of bounds report
⊥ as their element type.
|
Position |
Name |
Type |
Description |
| Parameters |
| 1 |
aTupleType |
tuple meta |
A tuple type.
|
| 2 |
sliceStart |
natural number |
The one-based index (inclusive) of the start of the slice.
|
| 3 |
sliceEnd |
whole number |
The one-based index (inclusive) of the end of the slice.
|
| Returns |
<(any)'s type…|> |
The requested slice of element types.
|
Raises |
| subscript-out-of-bounds exception |
|
| negative-size exception |
|
tuple, natural number, whole number
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Tuples, Transformers, Queries
Construct and answer a slice (i.e. subtuple) of the specified 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.
|
| 3 |
sliceEnd |
whole number |
The one-based end index (inclusive) of the desired slice.
|
| Returns |
tuple |
The requested tuple.
|
Raises |
| subscript-out-of-bounds exception |
|
tuple meta, natural number's type, whole number's type
Source: /avail/Avail/Foundation/Early Tuples
|
Type |
Description |
| Parameter Types |
| tuple meta |
|
| natural number's type |
|
| whole number's type |
|
tuple meta, natural number's type, whole number's type
Source: /avail/Avail/Foundation/Early Tuples
|
Type |
Description |
| Parameter Types |
| tuple meta |
|
| natural number's type |
|
| whole number's type |
|