Andreas Kling
686ade6b5a
AK: Make quick_sort() a little more ergonomic
...
Now it actually defaults to "a < b" comparison, instead of forcing you
to provide a trivial less-than comparator. Also you can pass in any
collection type that has .begin() and .end() and we'll sort it for you.
2020-03-03 16:02:58 +01:00
..
2020-02-23 11:10:52 +01:00
2020-02-06 20:33:02 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-25 23:06:40 +01:00
2020-02-25 16:03:15 +01:00
2020-02-25 16:03:15 +01:00
2020-02-25 16:03:15 +01:00
2020-02-14 23:31:18 +01:00
2020-02-16 09:41:56 +01:00
2020-02-06 20:33:02 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-25 14:52:35 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-28 12:55:58 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 11:10:52 +01:00
2020-02-16 09:41:56 +01:00
2020-02-25 16:05:00 +01:00
2020-02-25 16:03:15 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-06 20:33:02 +01:00
2020-02-06 20:33:02 +01:00
2020-02-07 20:07:15 +01:00
2020-02-07 20:07:15 +01:00
2020-02-25 14:52:35 +01:00
2020-02-07 20:07:15 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-17 16:28:21 +01:00
2020-02-28 12:55:58 +01:00
2020-02-16 09:41:56 +01:00
2020-02-14 17:35:04 +01:00
2020-02-15 00:13:44 +01:00
2020-02-27 14:43:35 +01:00
2020-02-24 20:50:21 +01:00
2020-02-25 14:52:35 +01:00
2020-02-14 13:18:59 +01:00
2020-03-03 16:02:58 +01:00
2020-02-15 00:10:34 +01:00
2020-02-24 20:48:42 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 11:10:52 +01:00
2020-02-16 09:41:56 +01:00
2020-02-25 16:03:15 +01:00
2020-02-25 16:03:15 +01:00
2020-02-25 14:52:35 +01:00
2020-02-06 20:33:02 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-25 16:03:15 +01:00
2020-02-25 16:03:15 +01:00
2020-02-24 20:48:42 +01:00
2020-02-06 20:33:02 +01:00
2020-02-28 12:55:58 +01:00
2020-02-25 14:52:35 +01:00
2020-02-15 01:56:30 +01:00
2020-02-16 09:41:56 +01:00
2020-02-15 01:56:30 +01:00
2020-02-16 09:41:56 +01:00
2020-02-24 09:15:51 +01:00
2020-02-17 16:28:21 +01:00
2020-02-13 21:45:46 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-16 09:41:56 +01:00
2020-02-27 14:43:35 +01:00
2020-02-27 14:43:35 +01:00
2020-02-16 21:58:17 +01:00
2020-02-16 21:58:17 +01:00
2020-02-14 23:31:18 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-24 10:40:32 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-25 14:52:35 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-03-03 16:02:58 +01:00
2020-02-06 20:33:02 +01:00
2020-02-24 10:40:32 +01:00
2020-02-24 10:40:32 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-25 14:52:35 +01:00
2020-02-16 09:41:56 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-25 14:52:35 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-03-01 12:58:22 +01:00
2020-03-01 12:58:22 +01:00
2020-03-01 12:58:22 +01:00
2020-02-23 12:27:53 +01:00
2020-02-06 20:33:02 +01:00
2020-02-06 20:33:02 +01:00
2020-02-23 12:27:53 +01:00
2020-02-23 12:27:53 +01:00
2020-03-02 23:05:04 +01:00
2020-03-02 23:05:04 +01:00
2020-02-25 14:52:35 +01:00
2020-02-25 14:52:35 +01:00
2020-02-06 20:33:02 +01:00
2020-02-15 00:12:31 +01:00
2020-02-25 14:52:35 +01:00
2020-02-23 12:27:53 +01:00
2020-02-28 12:55:58 +01:00
2020-02-24 19:23:57 +01:00
2020-02-28 12:55:58 +01:00
2020-02-06 20:33:02 +01:00
2020-02-06 20:33:02 +01:00