|
1227 | 1227 | constexpr auto fold_right(R&& r, T init, F f);
|
1228 | 1228 |
|
1229 | 1229 | template <@\libconcept{bidirectional_iterator}@ I, @\libconcept{sentinel_for}@<I> S,
|
1230 |
| - indirectly-binary-right-foldable<iter_value_t<I>, I> F> |
1231 |
| - requires constructible_from<iter_value_t<I>, iter_reference_t<I>> |
| 1230 | + @\exposconcept{indirectly-binary-right-foldable}@<iter_value_t<I>, I> F> |
| 1231 | + requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>> |
1232 | 1232 | constexpr auto fold_right_last(I first, S last, F f);
|
1233 | 1233 |
|
1234 | 1234 | template <@\libconcept{bidirectional_range}@ R,
|
|
4586 | 4586 | \begin{itemdecl}
|
4587 | 4587 | template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class T,
|
4588 | 4588 | @\exposconcept{indirectly-binary-left-foldable}@<T, I> F>
|
4589 |
| - constexpr @\seebelow@ fold_left_with_iter(I first, S last, T init, F f); |
| 4589 | + constexpr @\seebelow@ ranges::fold_left_with_iter(I first, S last, T init, F f); |
4590 | 4590 | template<@\libconcept{input_range}@ R, class T, @\exposconcept{indirectly-binary-left-foldable}@<T, iterator_t<R>> F>
|
4591 |
| - constexpr @\seebelow@ fold_left_with_iter(R&& r, T init, F f); |
| 4591 | + constexpr @\seebelow@ ranges::fold_left_with_iter(R&& r, T init, F f); |
4592 | 4592 | \end{itemdecl}
|
4593 | 4593 |
|
4594 | 4594 | \begin{itemdescr}
|
|
4620 | 4620 | template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S,
|
4621 | 4621 | @\exposconcept{indirectly-binary-left-foldable}@<iter_value_t<I>, I> F>
|
4622 | 4622 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
4623 |
| - constexpr @\seebelow@ fold_left_first_with_iter(I first, S last, F f) |
| 4623 | + constexpr @\seebelow@ ranges::fold_left_first_with_iter(I first, S last, F f); |
4624 | 4624 | template<@\libconcept{input_range}@ R, @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F>
|
4625 | 4625 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
4626 |
| - constexpr @\seebelow@ fold_left_first_with_iter(R&& r, F f); |
| 4626 | + constexpr @\seebelow@ ranges::fold_left_first_with_iter(R&& r, F f); |
4627 | 4627 | \end{itemdecl}
|
4628 | 4628 |
|
4629 | 4629 | \begin{itemdescr}
|
|
0 commit comments