8
4%
master: 4%

Ran 09 Jul 2019 03:37PM UTC

Files 643

Run time 58s

Badge

Embed ▾

Committed 09 Jul 2019 02:53PM UTC coverage: 71.929%. Remained the same

Job # TEST_SUITES=testmanuals

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

213409 of 296696 relevant lines covered (71.93%)

4729837.84 hits per line

gap-system / gap / 10202 / 8
4%
master: 4%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10202.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10202 / 8 4% master: 4%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 10202.8 (TEST_SUITES=testmanuals)

gap-system / gap / 10202 / 8
4%
master: 4%

README BADGES
x