Christopher Di Bella
3903438860
[libcxx] adds ranges::fold_left_with_iter and ranges::fold_left ( #75259 )
...
Notable things in this commit:
* refactors `__indirect_binary_left_foldable`, making it slightly
different (but equivalent) to _`indirect-binary-left-foldable`_, which
improves readability (a [patch to the Working Paper][patch] was made)
* omits `__cpo` namespace, since it is not required for implementing
niebloids (a cleanup should happen in 2024)
* puts tests ensuring invocable robustness and dangling correctness
inside the correctness testing to ensure that the algorithms' results
are still correct
[patch]: https://github.com/cplusplus/draft/pull/6734
2023-12-19 21:57:50 -08:00
..
2023-11-23 13:55:55 -05:00
2023-07-06 17:21:08 +00:00
2023-12-04 10:25:14 -05:00
2023-12-18 14:01:33 -05:00
2023-12-05 11:19:15 -05:00
2023-12-18 14:01:33 -05:00
2023-11-23 13:55:55 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-04 10:25:14 -05:00
2023-12-04 10:25:14 -05:00
2023-10-06 22:58:41 +02:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-04 10:25:14 -05:00
2023-12-04 10:25:14 -05:00
2023-12-15 17:10:16 +01:00
2023-12-15 17:10:16 +01:00
2023-12-19 21:57:50 -08:00
2023-12-18 14:01:33 -05:00
2023-11-14 23:55:24 +01:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-04 10:25:14 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-10-06 23:01:30 +02:00
2023-11-28 16:02:18 -05:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-11-28 16:02:18 -05:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-10-04 18:12:39 -04:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-11-27 00:14:59 +01:00
2023-10-06 23:01:30 +02:00
2023-11-27 00:14:59 +01:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-10-06 23:01:30 +02:00
2023-12-18 14:01:33 -05:00
2023-09-05 16:19:49 -07:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-11-01 10:43:05 -04:00
2023-12-19 16:34:19 -08:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-10-06 22:58:41 +02:00
2023-09-18 11:56:10 -07:00
2023-11-11 08:24:19 -10:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-07-02 16:56:32 +02:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-28 15:10:31 -07:00
2023-06-19 11:19:51 -04:00
2023-06-28 15:10:31 -07:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-12-06 02:29:09 -08:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-19 11:19:51 -04:00
2023-06-27 10:52:08 -07:00
2023-06-19 11:19:51 -04:00
2023-11-06 21:19:49 -10:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-11-08 09:10:00 -10:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-12-18 14:01:33 -05:00
2023-10-04 11:23:36 +02:00
2023-07-06 17:21:08 +00:00