Michael Woerister
739e5ef49e
Split StableCompare trait out of StableOrd trait.
...
StableCompare is a companion trait to `StableOrd`. Some types like `Symbol` can be compared in a cross-session stable way, but their `Ord` implementation is not stable. In such cases, a `StableOrd` implementation can be provided to offer a lightweight way for stable sorting. (The more heavyweight option is to sort via `ToStableHashKey`, but then sorting needs to have access to a stable hashing context and `ToStableHashKey` can also be expensive as in the case of `Symbol` where it has to allocate a `String`.)
2024-01-04 13:32:42 +01:00
..
2023-10-30 08:46:02 +11:00
2023-12-30 18:17:28 +01:00
2023-12-05 17:52:51 -08:00
2023-12-30 18:17:28 +01:00
2024-01-03 16:08:30 +01:00
2024-01-02 13:49:48 +01:00
2023-12-27 21:27:26 +00:00
2023-12-24 08:05:28 +11:00
2023-11-15 19:41:28 -05:00
2023-12-30 15:24:15 +00:00
2023-12-24 08:17:47 +11:00
2023-12-31 13:29:53 +00:00
2023-12-30 07:42:19 +00:00
2024-01-03 16:08:32 +01:00
2024-01-03 16:08:26 +01:00
2023-12-30 15:24:15 +00:00
2024-01-04 13:32:42 +01:00
2023-11-15 19:41:28 -05:00
2023-12-26 12:27:29 +00:00
2024-01-03 16:08:30 +01:00
2023-11-26 08:37:27 +11:00
2023-12-31 14:35:28 +01:00
2023-12-24 08:05:28 +11:00
2023-12-31 17:09:46 +00:00
2023-11-26 08:38:02 +11:00
2023-10-30 08:46:02 +11:00
2023-11-23 14:11:02 +03:00
2024-01-03 16:08:24 +01:00
2024-01-03 16:08:30 +01:00
2023-12-25 16:29:15 +00:00
2024-01-04 13:32:42 +01:00
2024-01-04 13:32:42 +01:00
2023-12-23 00:04:20 +01:00
2023-11-27 09:37:01 +11:00
2024-01-01 13:21:49 +05:30
2024-01-02 07:31:02 -05:00
2023-12-13 14:17:50 +11:00
2023-12-31 14:50:57 +01:00
2024-01-04 13:32:42 +01:00
2023-12-18 17:03:11 +01:00
2023-11-11 15:24:33 +01:00
2023-12-19 09:19:25 +11:00
2024-01-03 16:08:31 +01:00
2024-01-04 13:32:42 +01:00
2023-12-28 16:35:01 +00:00
2023-12-28 16:35:01 +00:00
2024-01-03 16:08:26 +01:00
2023-12-30 15:24:15 +00:00
2023-12-28 16:35:01 +00:00
2023-12-30 18:17:28 +01:00
2023-11-15 14:55:35 +00:00
2023-12-30 15:24:15 +00:00
2023-12-28 16:35:01 +00:00
2023-12-24 08:05:28 +11:00
2023-12-31 20:51:53 +00:00
2024-01-03 16:08:23 +01:00
2023-12-30 18:17:28 +01:00
2023-11-22 22:49:22 -05:00
2023-12-30 18:17:28 +01:00
2023-12-28 16:35:01 +00:00
2024-01-04 13:32:42 +01:00
2023-12-30 18:17:28 +01:00
2024-01-03 16:08:33 +01:00
2023-12-28 16:35:01 +00:00
2023-12-07 17:52:51 +01:00
2023-11-22 08:13:21 +11:00
2023-12-28 16:35:01 +00:00
2023-12-30 18:17:28 +01:00
2023-12-28 16:35:01 +00:00