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 onebased index (inclusive) of the start of the slice.

3 
sliceEnd 
whole number 
The onebased index (inclusive) of the end of the slice.

Returns 
<(any)'s type…> 
The requested slice of element types.

Raises 

subscriptoutofbounds exception 

negativesize 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 onebased start index (inclusive) of the desired slice.

3 
sliceEnd 
whole number 
The onebased end index (inclusive) of the desired slice.

Returns 
tuple 
The requested tuple.

Raises 

subscriptoutofbounds 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 
