quicksort_with_

Definitions:

tuple, [⊥, ⊥]→boolean
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples, Transformers, Sorting
Construct and answer a sorted variant of aTuple using the quicksort algorithm and specified comparison function.
Position Name Type Description
Parameters
1 aTuple tuple A tuple.
2 comparator [⊥, ⊥]→boolean A comparison function that accepts two elements of aTuple and answers true if the first ≤ second and false otherwise.
Returns tuple A sorted variant of aTuple.

Semantic restrictions:

tuple meta, [⊥, ⊥]→boolean's type
Source: /avail/Avail/Foundation/Tuples
Type Description
Parameter Types
tuple meta
[⊥, ⊥]→boolean's type