Package-Level Functions (total 80, in which 40 are exported)
Type Parameters:
Slice: ~[]E
E: any All returns an iterator over index-value pairs in the slice
in the usual order.
Type Parameters:
Slice: ~[]E
E: any AppendSeq appends the values from seq to the slice and
returns the extended slice.
Type Parameters:
Slice: ~[]E
E: any Backward returns an iterator over index-value pairs in the slice,
traversing it backward with descending indices.
Type Parameters:
S: ~[]E
E: cmp.Ordered BinarySearch searches for target in a sorted slice and returns the earliest
position where target is found, or the position where target would appear
in the sort order; it also returns a bool saying whether the target is
really found in the slice. The slice must be sorted in increasing order.
Type Parameters:
S: ~[]E
E: any
T: any BinarySearchFunc works like [BinarySearch], but uses a custom comparison
function. The slice must be sorted in increasing order, where "increasing"
is defined by cmp. cmp should return 0 if the slice element matches
the target, a negative number if the slice element precedes the target,
or a positive number if the slice element follows the target.
cmp must implement the same ordering as the slice, such that if
cmp(a, t) < 0 and cmp(b, t) >= 0, then a must precede b in the slice.
Type Parameters:
Slice: ~[]E
E: any Chunk returns an iterator over consecutive sub-slices of up to n elements of s.
All but the last sub-slice will have size n.
All sub-slices are clipped to have no capacity beyond the length.
If s is empty, the sequence is empty: there is no empty slice in the sequence.
Chunk panics if n is less than 1.
Type Parameters:
S: ~[]E
E: any Clip removes unused capacity from the slice, returning s[:len(s):len(s)].
Type Parameters:
S: ~[]E
E: any Clone returns a copy of the slice.
The elements are copied using assignment, so this is a shallow clone.
The result may have additional unused capacity.
Type Parameters:
E: any Collect collects values from seq into a new slice and returns it.
Type Parameters:
S: ~[]E
E: comparable Compact replaces consecutive runs of equal elements with a single copy.
This is like the uniq command found on Unix.
Compact modifies the contents of the slice s and returns the modified slice,
which may have a smaller length.
Compact zeroes the elements between the new length and the original length.
Type Parameters:
S: ~[]E
E: any CompactFunc is like [Compact] but uses an equality function to compare elements.
For runs of elements that compare equal, CompactFunc keeps the first one.
CompactFunc zeroes the elements between the new length and the original length.
Type Parameters:
S: ~[]E
E: cmp.Ordered Compare compares the elements of s1 and s2, using [cmp.Compare] on each pair
of elements. The elements are compared sequentially, starting at index 0,
until one element is not equal to the other.
The result of comparing the first non-matching elements is returned.
If both slices are equal until one of them ends, the shorter slice is
considered less than the longer one.
The result is 0 if s1 == s2, -1 if s1 < s2, and +1 if s1 > s2.
Type Parameters:
S1: ~[]E1
S2: ~[]E2
E1: any
E2: any CompareFunc is like [Compare] but uses a custom comparison function on each
pair of elements.
The result is the first non-zero result of cmp; if cmp always
returns 0 the result is 0 if len(s1) == len(s2), -1 if len(s1) < len(s2),
and +1 if len(s1) > len(s2).
Type Parameters:
S: ~[]E
E: any Concat returns a new slice concatenating the passed in slices.
Type Parameters:
S: ~[]E
E: comparable Contains reports whether v is present in s.
Type Parameters:
S: ~[]E
E: any ContainsFunc reports whether at least one
element e of s satisfies f(e).
Type Parameters:
S: ~[]E
E: any Delete removes the elements s[i:j] from s, returning the modified slice.
Delete panics if j > len(s) or s[i:j] is not a valid slice of s.
Delete is O(len(s)-i), so if many items must be deleted, it is better to
make a single call deleting them all together than to delete one at a time.
Delete zeroes the elements s[len(s)-(j-i):len(s)].
Type Parameters:
S: ~[]E
E: any DeleteFunc removes any elements from s for which del returns true,
returning the modified slice.
DeleteFunc zeroes the elements between the new length and the original length.
Type Parameters:
S: ~[]E
E: comparable Equal reports whether two slices are equal: the same length and all
elements equal. If the lengths are different, Equal returns false.
Otherwise, the elements are compared in increasing index order, and the
comparison stops at the first unequal pair.
Empty and nil slices are considered equal.
Floating point NaNs are not considered equal.
Type Parameters:
S1: ~[]E1
S2: ~[]E2
E1: any
E2: any EqualFunc reports whether two slices are equal using an equality
function on each pair of elements. If the lengths are different,
EqualFunc returns false. Otherwise, the elements are compared in
increasing index order, and the comparison stops at the first index
for which eq returns false.
Type Parameters:
S: ~[]E
E: any Grow increases the slice's capacity, if necessary, to guarantee space for
another n elements. After Grow(n), at least n elements can be appended
to the slice without another allocation. If n is negative or too large to
allocate the memory, Grow panics.
Type Parameters:
S: ~[]E
E: comparable Index returns the index of the first occurrence of v in s,
or -1 if not present.
Type Parameters:
S: ~[]E
E: any IndexFunc returns the first index i satisfying f(s[i]),
or -1 if none do.
Type Parameters:
S: ~[]E
E: any Insert inserts the values v... into s at index i,
returning the modified slice.
The elements at s[i:] are shifted up to make room.
In the returned slice r, r[i] == v[0],
and r[i+len(v)] == value originally at r[i].
Insert panics if i is out of range.
This function is O(len(s) + len(v)).
Type Parameters:
S: ~[]E
E: cmp.Ordered IsSorted reports whether x is sorted in ascending order.
Type Parameters:
S: ~[]E
E: any IsSortedFunc reports whether x is sorted in ascending order, with cmp as the
comparison function as defined by [SortFunc].
Type Parameters:
S: ~[]E
E: cmp.Ordered Max returns the maximal value in x. It panics if x is empty.
For floating-point E, Max propagates NaNs (any NaN value in x
forces the output to be NaN).
Type Parameters:
S: ~[]E
E: any MaxFunc returns the maximal value in x, using cmp to compare elements.
It panics if x is empty. If there is more than one maximal element
according to the cmp function, MaxFunc returns the first one.
Type Parameters:
S: ~[]E
E: cmp.Ordered Min returns the minimal value in x. It panics if x is empty.
For floating-point numbers, Min propagates NaNs (any NaN value in x
forces the output to be NaN).
Type Parameters:
S: ~[]E
E: any MinFunc returns the minimal value in x, using cmp to compare elements.
It panics if x is empty. If there is more than one minimal element
according to the cmp function, MinFunc returns the first one.
Type Parameters:
S: ~[]E
E: any Repeat returns a new slice that repeats the provided slice the given number of times.
The result has length and capacity (len(x) * count).
The result is never nil.
Repeat panics if count is negative or if the result of (len(x) * count)
overflows.
Type Parameters:
S: ~[]E
E: any Replace replaces the elements s[i:j] by the given v, and returns the
modified slice.
Replace panics if j > len(s) or s[i:j] is not a valid slice of s.
When len(v) < (j-i), Replace zeroes the elements between the new length and the original length.
Type Parameters:
S: ~[]E
E: any Reverse reverses the elements of the slice in place.
Type Parameters:
S: ~[]E
E: cmp.Ordered Sort sorts a slice of any ordered type in ascending order.
When sorting floating-point numbers, NaNs are ordered before other values.
Type Parameters:
E: cmp.Ordered Sorted collects values from seq into a new slice, sorts the slice,
and returns it.
Type Parameters:
E: any SortedFunc collects values from seq into a new slice, sorts the slice
using the comparison function, and returns it.
Type Parameters:
E: any SortedStableFunc collects values from seq into a new slice.
It then sorts the slice while keeping the original order of equal elements,
using the comparison function to compare elements.
It returns the new slice.
Type Parameters:
S: ~[]E
E: any SortFunc sorts the slice x in ascending order as determined by the cmp
function. This sort is not guaranteed to be stable.
cmp(a, b) should return a negative number when a < b, a positive number when
a > b and zero when a == b or a and b are incomparable in the sense of
a strict weak ordering.
SortFunc requires that cmp is a strict weak ordering.
See https://en.wikipedia.org/wiki/Weak_ordering#Strict_weak_orderings.
The function should return 0 for incomparable items.
Type Parameters:
S: ~[]E
E: any SortStableFunc sorts the slice x while keeping the original order of equal
elements, using cmp to compare elements in the same way as [SortFunc].
Type Parameters:
Slice: ~[]E
E: any Values returns an iterator that yields the slice elements in order.
Type Parameters:
E: any breakPatternsCmpFunc scatters some elements around in an attempt to break some patterns
that might cause imbalanced partitions in quicksort.
Type Parameters:
E: cmp.Ordered breakPatternsOrdered scatters some elements around in an attempt to break some patterns
that might cause imbalanced partitions in quicksort.
Type Parameters:
E: any choosePivotCmpFunc chooses a pivot in data[a:b].
[0,8): chooses a static pivot.
[8,shortestNinther): uses the simple median-of-three method.
[shortestNinther,∞): uses the Tukey ninther method.
Type Parameters:
E: cmp.Ordered choosePivotOrdered chooses a pivot in data[a:b].
[0,8): chooses a static pivot.
[8,shortestNinther): uses the simple median-of-three method.
[shortestNinther,∞): uses the Tukey ninther method.
Type Parameters:
E: any insertionSortCmpFunc sorts data[a:b] using insertion sort.
Type Parameters:
E: cmp.Ordered insertionSortOrdered sorts data[a:b] using insertion sort.
Type Parameters:
T: cmp.Ordered isNaN reports whether x is a NaN without requiring the math package.
This will always return false if T is not floating-point.
Type Parameters:
E: any medianAdjacentCmpFunc finds the median of data[a - 1], data[a], data[a + 1] and stores the index into a.
Type Parameters:
E: cmp.Ordered medianAdjacentOrdered finds the median of data[a - 1], data[a], data[a + 1] and stores the index into a.
Type Parameters:
E: any medianCmpFunc returns x where data[x] is the median of data[a],data[b],data[c], where x is a, b, or c.
Type Parameters:
E: cmp.Ordered medianOrdered returns x where data[x] is the median of data[a],data[b],data[c], where x is a, b, or c.
Type Parameters:
E: any order2CmpFunc returns x,y where data[x] <= data[y], where x,y=a,b or x,y=b,a.
Type Parameters:
E: cmp.Ordered order2Ordered returns x,y where data[x] <= data[y], where x,y=a,b or x,y=b,a.
Type Parameters:
E: any overlaps reports whether the memory ranges a[0:len(a)] and b[0:len(b)] overlap.
Type Parameters:
E: any partialInsertionSortCmpFunc partially sorts a slice, returns true if the slice is sorted at the end.
Type Parameters:
E: cmp.Ordered partialInsertionSortOrdered partially sorts a slice, returns true if the slice is sorted at the end.
Type Parameters:
E: any partitionCmpFunc does one quicksort partition.
Let p = data[pivot]
Moves elements in data[a:b] around, so that data[i]<p and data[j]>=p for i<newpivot and j>newpivot.
On return, data[newpivot] = p
Type Parameters:
E: any partitionEqualCmpFunc partitions data[a:b] into elements equal to data[pivot] followed by elements greater than data[pivot].
It assumed that data[a:b] does not contain elements smaller than the data[pivot].
Type Parameters:
E: cmp.Ordered partitionEqualOrdered partitions data[a:b] into elements equal to data[pivot] followed by elements greater than data[pivot].
It assumed that data[a:b] does not contain elements smaller than the data[pivot].
Type Parameters:
E: cmp.Ordered partitionOrdered does one quicksort partition.
Let p = data[pivot]
Moves elements in data[a:b] around, so that data[i]<p and data[j]>=p for i<newpivot and j>newpivot.
On return, data[newpivot] = p
Type Parameters:
E: any pdqsortCmpFunc sorts data[a:b].
The algorithm based on pattern-defeating quicksort(pdqsort), but without the optimizations from BlockQuicksort.
pdqsort paper: https://arxiv.org/pdf/2106.05123.pdf
C++ implementation: https://github.com/orlp/pdqsort
Rust implementation: https://docs.rs/pdqsort/latest/pdqsort/
limit is the number of allowed bad (very unbalanced) pivots before falling back to heapsort.
Type Parameters:
E: cmp.Ordered pdqsortOrdered sorts data[a:b].
The algorithm based on pattern-defeating quicksort(pdqsort), but without the optimizations from BlockQuicksort.
pdqsort paper: https://arxiv.org/pdf/2106.05123.pdf
C++ implementation: https://github.com/orlp/pdqsort
Rust implementation: https://docs.rs/pdqsort/latest/pdqsort/
limit is the number of allowed bad (very unbalanced) pivots before falling back to heapsort.
Type Parameters:
E: any rotateCmpFunc rotates two consecutive blocks u = data[a:m] and v = data[m:b] in data:
Data of the form 'x u v y' is changed to 'x v u y'.
rotate performs at most b-a many calls to data.Swap,
and it assumes non-degenerate arguments: a < m && m < b.
Type Parameters:
E: any rotateLeft rotates s left by r spaces.
s_final[i] = s_orig[i+r], wrapping around.
Type Parameters:
E: cmp.Ordered rotateOrdered rotates two consecutive blocks u = data[a:m] and v = data[m:b] in data:
Data of the form 'x u v y' is changed to 'x v u y'.
rotate performs at most b-a many calls to data.Swap,
and it assumes non-degenerate arguments: a < m && m < b.
Type Parameters:
E: any siftDownCmpFunc implements the heap property on data[lo:hi].
first is an offset into the array where the root of the heap lies.
Type Parameters:
E: cmp.Ordered siftDownOrdered implements the heap property on data[lo:hi].
first is an offset into the array where the root of the heap lies.
Type Parameters:
E: any startIdx returns the index in haystack where the needle starts.
prerequisite: the needle must be aliased entirely inside the haystack.
Type Parameters:
E: any symMergeCmpFunc merges the two sorted subsequences data[a:m] and data[m:b] using
the SymMerge algorithm from Pok-Son Kim and Arne Kutzner, "Stable Minimum
Storage Merging by Symmetric Comparisons", in Susanne Albers and Tomasz
Radzik, editors, Algorithms - ESA 2004, volume 3221 of Lecture Notes in
Computer Science, pages 714-723. Springer, 2004.
Let M = m-a and N = b-n. Wolog M < N.
The recursion depth is bound by ceil(log(N+M)).
The algorithm needs O(M*log(N/M + 1)) calls to data.Less.
The algorithm needs O((M+N)*log(M)) calls to data.Swap.
The paper gives O((M+N)*log(M)) as the number of assignments assuming a
rotation algorithm which uses O(M+N+gcd(M+N)) assignments. The argumentation
in the paper carries through for Swap operations, especially as the block
swapping rotate uses only O(M+N) Swaps.
symMerge assumes non-degenerate arguments: a < m && m < b.
Having the caller check this condition eliminates many leaf recursion calls,
which improves performance.
Type Parameters:
E: cmp.Ordered symMergeOrdered merges the two sorted subsequences data[a:m] and data[m:b] using
the SymMerge algorithm from Pok-Son Kim and Arne Kutzner, "Stable Minimum
Storage Merging by Symmetric Comparisons", in Susanne Albers and Tomasz
Radzik, editors, Algorithms - ESA 2004, volume 3221 of Lecture Notes in
Computer Science, pages 714-723. Springer, 2004.
Let M = m-a and N = b-n. Wolog M < N.
The recursion depth is bound by ceil(log(N+M)).
The algorithm needs O(M*log(N/M + 1)) calls to data.Less.
The algorithm needs O((M+N)*log(M)) calls to data.Swap.
The paper gives O((M+N)*log(M)) as the number of assignments assuming a
rotation algorithm which uses O(M+N+gcd(M+N)) assignments. The argumentation
in the paper carries through for Swap operations, especially as the block
swapping rotate uses only O(M+N) Swaps.
symMerge assumes non-degenerate arguments: a < m && m < b.
Having the caller check this condition eliminates many leaf recursion calls,
which improves performance.
Package-Level Constants (total 3, none are exported)
The pages are generated with Goldsv0.7.6. (GOOS=linux GOARCH=amd64)
Golds is a Go 101 project developed by Tapir Liu.
PR and bug reports are welcome and can be submitted to the issue list.
Please follow @zigo_101 (reachable from the left QR code) to get the latest news of Golds.