|
7005 | 7005 | ranges::transform(Ep&& exec, I first1, S last1, O result, OutS result_last, |
7006 | 7006 | F op, Proj proj = {}); |
7007 | 7007 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R, @\exposconcept{sized-random-access-range}@ OutR, |
7008 | | - @\libconcept{copy_constructible}@ F, class Proj = identity> |
| 7008 | + @\libconcept{copy_constructible}@ F, class Proj = identity> |
7009 | 7009 | requires @\libconcept{indirectly_writable}@<iterator_t<OutR>, |
7010 | | - indirect_result_t<F&, projected<iterator_t<R>, Proj>>> |
| 7010 | + indirect_result_t<F&, projected<iterator_t<R>, Proj>>> |
7011 | 7011 | ranges::unary_transform_result<borrowed_iterator_t<R>, borrowed_iterator_t<OutR>> |
7012 | 7012 | ranges::transform(Ep&& exec, R&& r, OutR&& result_r, F op, Proj proj = {}); |
7013 | 7013 |
|
|
7032 | 7032 | @\libconcept{random_access_iterator}@ O, @\libconcept{sized_sentinel_for}@<O> OutS, |
7033 | 7033 | @\libconcept{copy_constructible}@ F, class Proj1 = identity, class Proj2 = identity> |
7034 | 7034 | requires @\libconcept{indirectly_writable}@<O, indirect_result_t<F&, projected<I1, Proj1>, |
7035 | | - projected<I2, Proj2>>> |
| 7035 | + projected<I2, Proj2>>> |
7036 | 7036 | ranges::binary_transform_result<I1, I2, O> |
7037 | 7037 | ranges::transform(Ep&& exec, I1 first1, S1 last1, I2 first2, S2 last2, |
7038 | 7038 | O result, OutS result_last, |
7039 | 7039 | F binary_op, Proj1 proj1 = {}, Proj2 proj2 = {}); |
7040 | 7040 | template<@\exposconcept{execution-policy}@ Ep, @\exposconcept{sized-random-access-range}@ R1, @\exposconcept{sized-random-access-range}@ R2, |
7041 | 7041 | @\exposconcept{sized-random-access-range}@ OutR, @\libconcept{copy_constructible}@ F, |
7042 | | - class Proj1 = identity, class Proj2 = identity> |
| 7042 | + class Proj1 = identity, class Proj2 = identity> |
7043 | 7043 | requires @\libconcept{indirectly_writable}@<iterator_t<OutR>, |
7044 | | - indirect_result_t<F&, projected<iterator_t<R1>, Proj1>, |
7045 | | - projected<iterator_t<R2>, Proj2>>> |
| 7044 | + indirect_result_t<F&, projected<iterator_t<R1>, Proj1>, |
| 7045 | + projected<iterator_t<R2>, Proj2>>> |
7046 | 7046 | ranges::binary_transform_result<borrowed_iterator_t<R1>, borrowed_iterator_t<R2>, |
7047 | 7047 | borrowed_iterator_t<OutR>> |
7048 | 7048 | ranges::transform(Ep&& exec, R1&& r1, R2&& r2, OutR&& result_r, |
|
0 commit comments