|
1108 | 1108 | class Proj1 = identity, class Proj2 = identity,
|
1109 | 1109 | @\libconcept{indirect_equivalence_relation}@<projected<iterator_t<R1>, Proj1>,
|
1110 | 1110 | projected<iterator_t<R2>, Proj2>>
|
1111 |
| - Pred = ranges::equal_to> |
| 1111 | + Pred = ranges::equal_to> |
1112 | 1112 | constexpr bool is_permutation(R1&& r1, R2&& r2, Pred pred = {},
|
1113 | 1113 | Proj1 proj1 = {}, Proj2 proj2 = {});
|
1114 | 1114 | }
|
|
1267 | 1267 | constexpr auto fold_left_first(R&& r, F f);
|
1268 | 1268 |
|
1269 | 1269 | template<@\libconcept{bidirectional_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class T,
|
1270 |
| - @\exposconcept{indirectly-binary-right-foldable}@<T, I> F> |
| 1270 | + @\exposconcept{indirectly-binary-right-foldable}@<T, I> F> |
1271 | 1271 | constexpr auto fold_right(I first, S last, T init, F f);
|
1272 | 1272 |
|
1273 | 1273 | template<@\libconcept{bidirectional_range}@ R, class T,
|
1274 |
| - @\exposconcept{indirectly-binary-right-foldable}@<T, iterator_t<R>> F> |
| 1274 | + @\exposconcept{indirectly-binary-right-foldable}@<T, iterator_t<R>> F> |
1275 | 1275 | constexpr auto fold_right(R&& r, T init, F f);
|
1276 | 1276 |
|
1277 | 1277 | template<@\libconcept{bidirectional_iterator}@ I, @\libconcept{sentinel_for}@<I> S,
|
1278 |
| - @\exposconcept{indirectly-binary-right-foldable}@<iter_value_t<I>, I> F> |
| 1278 | + @\exposconcept{indirectly-binary-right-foldable}@<iter_value_t<I>, I> F> |
1279 | 1279 | requires @\libconcept{constructible_from}@<iter_value_t<I>, iter_reference_t<I>>
|
1280 | 1280 | constexpr auto fold_right_last(I first, S last, F f);
|
1281 | 1281 |
|
|
1290 | 1290 | using fold_left_first_with_iter_result = in_value_result<I, T>;
|
1291 | 1291 |
|
1292 | 1292 | template<@\libconcept{input_iterator}@ I, @\libconcept{sentinel_for}@<I> S, class T,
|
1293 |
| - @\exposconcept{indirectly-binary-left-foldable}@<T, I> F> |
| 1293 | + @\exposconcept{indirectly-binary-left-foldable}@<T, I> F> |
1294 | 1294 | constexpr @\seebelow@ fold_left_with_iter(I first, S last, T init, F f);
|
1295 | 1295 |
|
1296 | 1296 | template<@\libconcept{input_range}@ R, class T, @\exposconcept{indirectly-binary-left-foldable}@<T, iterator_t<R>> F>
|
|
0 commit comments