← Back to index | Original Bugzilla link

Bug 9682 – Propagate range sortedness property throughout Phobos algorithms

Status
RESOLVED
Resolution
FIXED
Severity
enhancement
Priority
P2
Component
phobos
Product
D
Version
D2
Platform
All
OS
All
Creation time
2013-03-10T09:30:53Z
Last change time
2017-11-06T15:47:49Z
Assigned to
No Owner
Creator
bearophile_hugs
Depends on
9616

Comments

Comment #0 by bearophile_hugs — 2013-03-10T09:30:53Z
After this issue is implemented: http://d.puremagic.com/issues/show_bug.cgi?id=9616 Then I'd like group() to recognize a lazy SortedRange, and return another sorted range: group(SortedRange) ==> SortedRange group() is very often run on a sorted range. This enhancement will allow the binary search an other algorithms to work on the output of group. This is quite handy and avoids an useless call to assumeSorted.
Comment #1 by bearophile_hugs — 2014-06-11T22:32:57Z
Likewise, I'd also like filter to do the same: filter(SortedRange) ==> SortedRange
Comment #2 by razvan.nitu1305 — 2017-09-01T08:57:00Z
The user should be in charge of this, since otherwise we will have to propagate sortedness for all phobos functions. Closing as wontfix, see PR : https://github.com/dlang/phobos/pull/5712 for more information.
Comment #3 by petar.p.kirov — 2017-09-01T09:56:26Z
(Reopening, as per my comments here: https://github.com/dlang/phobos/pull/5712#issuecomment-326535098)
Comment #4 by razvan.nitu1305 — 2017-11-06T15:47:49Z
Closing per discussion: https://github.com/dlang/phobos/pull/5712