Newest at the top
| 2024-11-07 05:42:19 +0100 | <jackdk> | Does anyone have a favourite rank2classes-style library that provides a class for HKD representables? I'm specifically looking for a class to associate a record with a GADT namings its fields (like a total DMap) and a FRepresentable sounds like it would fit the bill. I don't need a rank-2 tabulate, if that makes the search easier. The FIndexable in Ed's distributive library looks right but never made it from GitHub to Hackage. |
| 2024-11-07 05:38:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-07 05:38:00 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-07 05:37:49 +0100 | Inst_ | (~Inst@user/Inst) (Ping timeout: 260 seconds) |
| 2024-11-07 05:31:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 05:21:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-07 05:17:46 +0100 | <Axman6> | Not sure I follow how that works, I thik I'd need to see the instances |
| 2024-11-07 05:16:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 05:12:16 +0100 | <Leary> | Axman6: The Atkey parameterised monad isn't ideal for this; you want a graded(?) monad: `class Graded (m :: k -> Type -> Type) where { type E m :: k; type Ap m (g1 :: k) (g2 :: k) :: k; pure :: a -> m (E m) a; (>>=) :: m g1 a -> (a -> m g2 b) -> m (Ap m g1 g2) b }`, with the obvious monoidal properties at both levels. |
| 2024-11-07 05:11:24 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-07 05:05:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-07 05:01:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 04:54:23 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-07 04:53:21 +0100 | Inst | (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 2024-11-07 04:52:23 +0100 | td_ | (~td@i5387092D.versanet.de) |
| 2024-11-07 04:51:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-07 04:51:02 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-07 04:50:51 +0100 | td_ | (~td@i53870906.versanet.de) (Ping timeout: 276 seconds) |
| 2024-11-07 04:50:50 +0100 | Inst_ | (~Inst@user/Inst) Inst |
| 2024-11-07 04:50:15 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) TimWolla |
| 2024-11-07 04:47:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-07 04:46:36 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-11-07 04:46:34 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-07 04:46:33 +0100 | califax | (~califax@user/califx) califx |
| 2024-11-07 04:43:25 +0100 | <Axman6> | (From back in the day when we didn't have most of those type level functions on lists defined for us) |
| 2024-11-07 04:43:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 04:42:59 +0100 | <Axman6> | https://gist.github.com/axman6/19adc08a809d919a2efb |
| 2024-11-07 04:40:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | califax | (~califax@user/califx) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2024-11-07 04:40:52 +0100 | blover | (~blover@2804:7f0:6780:f864:2d9e:2c7d:cab0:69d2) (*.net *.split) |
| 2024-11-07 04:40:10 +0100 | <Axman6> | I wrote something to do that years ago, which used indexed monads to list the possible expections, and handlers would remove them from the list |
| 2024-11-07 04:33:29 +0100 | TimWolla | (~timwolla@2a01:4f8:150:6153:beef::6667) (Ping timeout: 260 seconds) |
| 2024-11-07 04:32:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-07 04:27:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 04:20:38 +0100 | blover | (~blover@2804:7f0:6780:f864:2d9e:2c7d:cab0:69d2) blover |
| 2024-11-07 04:20:03 +0100 | blover | (~arthur@2804:7f0:6780:f864:2d9e:2c7d:cab0:69d2) (Remote host closed the connection) |
| 2024-11-07 04:17:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-07 04:13:50 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-07 04:12:45 +0100 | blover | (~arthur@2804:7f0:6780:f864:2d9e:2c7d:cab0:69d2) blover |
| 2024-11-07 04:12:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 04:10:48 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 245 seconds) |
| 2024-11-07 04:01:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-07 03:54:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-07 03:48:50 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-07 03:42:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-07 03:39:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |