Steve Howell
df47e4312b
unread: Refactor aggregated message info.
...
We want TypedDicts that have actual teeth.
In order to make type checks meaningful, we want
to avoid Any, object, or crazy Union types when
we aggregate each type of message, so we replaced
a generic function with three concrete functions.
2022-03-07 15:34:56 -08:00
..
2022-02-18 18:03:13 -08:00
2022-02-18 15:32:27 -08:00
2021-12-30 06:51:50 -08:00
2022-03-07 12:44:36 -08:00
2022-02-07 18:51:06 -08:00
2022-02-16 13:15:39 -08:00
2021-12-28 09:31:55 -08:00
2022-02-24 14:05:12 -08:00
2021-12-28 09:31:55 -08:00
2021-12-28 09:31:55 -08:00
2022-02-07 18:51:06 -08:00
2022-02-07 18:51:06 -08:00
2022-01-13 14:28:12 -08:00
2022-01-04 14:45:04 -08:00
2022-02-07 18:51:06 -08:00
2022-02-04 15:16:55 -08:00
2022-01-26 13:11:26 -08:00
2022-02-24 14:05:12 -08:00
2022-01-21 14:56:04 -08:00
2022-02-07 18:51:06 -08:00
2022-02-07 18:51:06 -08:00
2022-02-17 16:17:15 +00:00
2021-12-07 21:55:59 -08:00
2022-02-11 18:21:38 +01:00
2021-12-22 14:05:17 -08:00
2022-01-12 13:50:12 -08:00
2022-01-23 22:16:01 -08:00
2021-12-30 11:28:15 -08:00
2022-03-07 15:34:56 -08:00
2022-02-07 18:51:06 -08:00
2022-02-07 18:51:06 -08:00
2022-02-07 18:51:06 -08:00
2022-01-03 09:55:06 -08:00
2021-12-06 11:32:00 -08:00
2022-01-23 22:14:17 -08:00
2022-02-07 18:51:06 -08:00
2022-02-08 15:20:23 -08:00
2022-02-07 18:51:06 -08:00
2022-02-07 18:51:06 -08:00
2022-02-04 15:16:56 -08:00
2022-02-07 18:51:06 -08:00
2022-02-23 11:59:45 -08:00
2021-11-26 16:06:16 -08:00
2022-02-04 15:43:45 -08:00
2022-02-09 11:04:40 -08:00
2022-02-07 18:51:06 -08:00
2022-02-10 11:59:41 -08:00
2022-02-07 18:51:06 -08:00
2021-12-28 12:15:02 -08:00
2022-02-07 18:51:06 -08:00
2022-01-28 17:45:45 -08:00
2022-02-01 16:04:34 -08:00
2022-02-18 18:03:13 -08:00
2022-02-18 18:03:13 -08:00
2021-12-29 16:50:08 -08:00
2022-01-23 22:16:01 -08:00
2022-01-11 19:38:36 -08:00
2022-02-10 11:59:41 -08:00
2022-01-23 22:16:01 -08:00
2022-02-24 14:05:12 -08:00
2022-03-04 10:25:48 -08:00
2022-03-04 11:54:03 -08:00
2022-02-17 12:19:47 -08:00
2022-03-01 18:14:31 -08:00
2022-01-04 14:45:04 -08:00
2022-02-22 10:36:08 -08:00
2022-02-18 18:03:13 -08:00