|
2449 | 2449 | @\libconcept{copy_constructible}@<F> &&
|
2450 | 2450 | @\libconcept{invocable}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
|
2451 | 2451 | @\libconcept{invocable}@<F&, iter_reference_t<I>> &&
|
2452 |
| - @\libconcept{invocable}@<F&, iter_common_reference_t<I>> && |
2453 | 2452 | @\libconcept{common_reference_with}@<
|
2454 | 2453 | invoke_result_t<F&, @\exposidnc{indirect-value-t}@<I>>,
|
2455 | 2454 | invoke_result_t<F&, iter_reference_t<I>>>;
|
|
2460 | 2459 | @\libconcept{copy_constructible}@<F> &&
|
2461 | 2460 | @\libconcept{regular_invocable}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
|
2462 | 2461 | @\libconcept{regular_invocable}@<F&, iter_reference_t<I>> &&
|
2463 |
| - @\libconcept{regular_invocable}@<F&, iter_common_reference_t<I>> && |
2464 | 2462 | @\libconcept{common_reference_with}@<
|
2465 | 2463 | invoke_result_t<F&, @\exposidnc{indirect-value-t}@<I>>,
|
2466 | 2464 | invoke_result_t<F&, iter_reference_t<I>>>;
|
|
2470 | 2468 | @\libconcept{indirectly_readable}@<I> &&
|
2471 | 2469 | @\libconcept{copy_constructible}@<F> &&
|
2472 | 2470 | @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I>> &&
|
2473 |
| - @\libconcept{predicate}@<F&, iter_reference_t<I>> && |
2474 |
| - @\libconcept{predicate}@<F&, iter_common_reference_t<I>>; |
| 2471 | + @\libconcept{predicate}@<F&, iter_reference_t<I>>; |
2475 | 2472 |
|
2476 | 2473 | template<class F, class I1, class I2>
|
2477 | 2474 | concept @\deflibconcept{indirect_binary_predicate}@ =
|
|
2480 | 2477 | @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2481 | 2478 | @\libconcept{predicate}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
|
2482 | 2479 | @\libconcept{predicate}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2483 |
| - @\libconcept{predicate}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> && |
2484 |
| - @\libconcept{predicate}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>; |
| 2480 | + @\libconcept{predicate}@<F&, iter_reference_t<I1>, iter_reference_t<I2>>; |
2485 | 2481 |
|
2486 | 2482 | template<class F, class I1, class I2 = I1>
|
2487 | 2483 | concept @\deflibconcept{indirect_equivalence_relation}@ =
|
|
2490 | 2486 | @\libconcept{equivalence_relation}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2491 | 2487 | @\libconcept{equivalence_relation}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
|
2492 | 2488 | @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2493 |
| - @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> && |
2494 |
| - @\libconcept{equivalence_relation}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>; |
| 2489 | + @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, iter_reference_t<I2>>; |
2495 | 2490 |
|
2496 | 2491 | template<class F, class I1, class I2 = I1>
|
2497 | 2492 | concept @\deflibconcept{indirect_strict_weak_order}@ =
|
|
2500 | 2495 | @\libconcept{strict_weak_order}@<F&, @\exposidnc{indirect-value-t}@<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2501 | 2496 | @\libconcept{strict_weak_order}@<F&, @\exposidnc{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
|
2502 | 2497 | @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, @\exposidnc{indirect-value-t}@<I2>> &&
|
2503 |
| - @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> && |
2504 |
| - @\libconcept{strict_weak_order}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>; |
| 2498 | + @\libconcept{strict_weak_order}@<F&, iter_reference_t<I1>, iter_reference_t<I2>>; |
2505 | 2499 | }
|
2506 | 2500 | \end{codeblock}
|
2507 | 2501 |
|
|
0 commit comments