_[_.._]→_

Definitions:

tuple, natural number, whole number, tuple
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples, Transformers
Compute and answer a tuple that is the result of replacing the specified slice of aTuple with replacement.
Position Name Type Description
Parameters
1 aTuple tuple
2 sliceStart natural number The subscript of the first element of the target slice.
3 sliceEnd whole number The subscript of the last element of the target slice.
4 replacement tuple The tuple that should be spliced into aTuple instead of the specified slice.
Returns tuple A variant of aTuple whose elements from sliceStart (inclusive) to sliceEnd (inclusive) have been replaced with those of replacement. Elements before sliceStart and after sliceEnd will be present in the answer.

Semantic restrictions:

tuple meta, natural number's type, whole number's type, tuple meta
Source: /avail/Avail/Foundation/Tuples
Reject the parse if the target slice would never be valid.
Type Description
Parameter Types
tuple meta
natural number's type
whole number's type
tuple meta