gap-system / gap / 10202

4%

Build Type

push

travis-ci

Committed by ChrisJefferson

Commit Message

Add PositionSortedBy

One thing to point out is that the interface is a bit different from
PositionSorted, which might be confusing: the object you pass in is
*not* a (potential) element of the list, but rather the result of
applying the "by func" to an object (or at least something that looks
like such a result). The reason: first off, replacing the element by its
func value would be the very first thing done by any implementation
anyway. And a typical application of this function is to search for an
object matching a a certain criterion -- say, the first item which is a
list whose first entry is 42. With the current model, one can write

    PositionSortedBy([ "a", "ab" ], 4, Length);

and is not forced to first construct an actual object, like here:

    PositionSortedBy([ "a", "ab" ], "abcd", Length);

In this example, that's a pretty small saving, but in bigger examples,
it can add up. In particular, this is motivated by real world usage
of this function.

Run Details

34 of 34 new or added lines in 3 files covered. (100.0%)

2 existing lines in 1 file now uncovered.

283886 of 336758 relevant lines covered (84.3%)

23986738.8 hits per line