|
1214 | 1214 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
1215 | 1215 | constexpr auto fold_left_first(I first, S last, F f);
|
1216 | 1216 |
|
1217 |
| - template <@\libconcept{input_range}@ R, @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
| 1217 | + template<@\libconcept{input_range}@ R, @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
1218 | 1218 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
1219 | 1219 | constexpr auto fold_left_first(R&& r, F f);
|
1220 | 1220 |
|
|
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 |
| - template <@\libconcept{bidirectional_range}@ R, |
1235 |
| - @\exposconcept{indirectly-binary-right-foldable}@<range_value_t<R>, iterator_t<R>> F> |
| 1234 | + template<@\libconcept{bidirectional_range}@ R, |
| 1235 | + @\exposconcept{indirectly-binary-right-foldable}@<range_value_t<R>, iterator_t<R>> F> |
1236 | 1236 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
1237 | 1237 | constexpr auto fold_right_last(R&& r, F f);
|
1238 | 1238 |
|
|
1248 | 1248 | template<@\libconcept{input_range}@ R, class T, @\exposconcept{indirectly-binary-left-foldable}@<T, iterator_t<R>> F>
|
1249 | 1249 | constexpr @\seebelow@ fold_left_with_iter(R&& r, T init, F f);
|
1250 | 1250 |
|
1251 |
| - template <@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S, |
1252 |
| - @\exposconcept{indirectly-binary-left-foldable}@<iter_value_t<I>, I> F> |
| 1251 | + template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S, |
| 1252 | + @\exposconcept{indirectly-binary-left-foldable}@<iter_value_t<I>, I> F> |
1253 | 1253 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
1254 | 1254 | constexpr @\seebelow@ fold_left_first_with_iter(I first, S last, F f);
|
1255 | 1255 |
|
1256 |
| - template <@\libconcept{input_range}@ R, |
1257 |
| - @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
| 1256 | + template<@\libconcept{input_range}@ R, |
| 1257 | + @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
1258 | 1258 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
1259 | 1259 | constexpr @\seebelow@ fold_left_first_with_iter(R&& r, F f);
|
1260 | 1260 | }
|
|
4514 | 4514 | @\exposconcept{indirectly-binary-left-foldable}@<iter_value_t<I>, I> F>
|
4515 | 4515 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
4516 | 4516 | constexpr auto ranges::fold_left_first(I first, S last, F f);
|
4517 |
| -template <@\libconcept{input_range}@ R, @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
| 4517 | +template<@\libconcept{input_range}@ R, @\exposconcept{indirectly-binary-left-foldable}@<range_value_t<R>, iterator_t<R>> F> |
4518 | 4518 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
4519 | 4519 | constexpr auto ranges::fold_left_first(R&& r, F f);
|
4520 | 4520 | \end{itemdecl}
|
|
4555 | 4555 |
|
4556 | 4556 | \indexlibraryglobal{fold_right_last}%
|
4557 | 4557 | \begin{itemdecl}
|
4558 |
| -template <@\libconcept{bidirectional_iterator}@ I, @\libconcept{sentinel_for}@<I> S, |
4559 |
| - @\exposconcept{indirectly-binary-right-foldable}@<iter_value_t<I>, I> F> |
| 4558 | +template<@\libconcept{bidirectional_iterator}@ I, @\libconcept{sentinel_for}@<I> S, |
| 4559 | + @\exposconcept{indirectly-binary-right-foldable}@<iter_value_t<I>, I> F> |
4560 | 4560 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
4561 | 4561 | constexpr auto ranges::fold_right_last(I first, S last, F f);
|
4562 |
| -template <@\libconcept{bidirectional_range}@ R, |
4563 |
| - @\exposconcept{indirectly-binary-right-foldable}@<range_value_t<R>, iterator_t<R>> F> |
| 4562 | +template<@\libconcept{bidirectional_range}@ R, |
| 4563 | + @\exposconcept{indirectly-binary-right-foldable}@<range_value_t<R>, iterator_t<R>> F> |
4564 | 4564 | requires @\libconcept{constructible_from}@<range_value_t<R>, range_reference_t<R>>
|
4565 | 4565 | constexpr auto ranges::fold_right_last(R&& r, F f);
|
4566 | 4566 | \end{itemdecl}
|
|
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