Newest at the top
| 2024-11-14 01:01:19 +0100 | falafel | (~falafel@2600:1700:99f4:2050:41b3:d17e:817a:4e83) (Ping timeout: 260 seconds) |
| 2024-11-14 00:55:56 +0100 | alp | (~alp@2001:861:e3d6:8f80:c1d0:6a01:957c:3af2) (Remote host closed the connection) |
| 2024-11-14 00:54:14 +0100 | alp | (~alp@2001:861:e3d6:8f80:c1d0:6a01:957c:3af2) |
| 2024-11-14 00:53:24 +0100 | alp | (~alp@2001:861:e3d6:8f80:cd0a:c39d:37b7:c1a3) (Remote host closed the connection) |
| 2024-11-14 00:53:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-14 00:51:40 +0100 | alp | (~alp@2001:861:e3d6:8f80:cd0a:c39d:37b7:c1a3) |
| 2024-11-14 00:51:04 +0100 | <Axman6> | This feels like it might be easier with generics-sop, but it's been a long time since I looked at any of these things |
| 2024-11-14 00:50:52 +0100 | alp | (~alp@2001:861:e3d6:8f80:8dec:7d0f:9187:87d0) (Remote host closed the connection) |
| 2024-11-14 00:49:54 +0100 | athostFI | (~Atte@176-93-56-50.bb.dnainternet.fi) |
| 2024-11-14 00:49:22 +0100 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-14 00:48:23 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3117-f07c-987b-fc29-77ee-addd.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-14 00:47:47 +0100 | <jackdk> | I want to provide a type family-shaped helper that identifies the type of a record field, something like `FieldType "foo" MyRecord` reducing to `Bar`. I can get at the type of a field by looking at the fundep on the `HasField` class (GHC gives me in `instance HasField "foo" MyRecord Bar`, but is there a good idiom for binding and returning that type variable using a type family? |
| 2024-11-14 00:32:33 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f717cba866c0fa9f7cd.dip0.t-ipconnect.de) |
| 2024-11-14 00:29:57 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f7100fa0b96aa6639bf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-14 00:29:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-14 00:28:22 +0100 | Xe_ | (~Xe@perl/impostor/xe) Xe |
| 2024-11-14 00:02:55 +0100 | Everything | (~Everythin@46.211.104.82) (Quit: leaving) |
| 2024-11-14 00:01:51 +0100 | falafel | (~falafel@2600:1700:99f4:2050:41b3:d17e:817a:4e83) falafel |
| 2024-11-13 23:51:23 +0100 | visilii | (~visilii@213.24.133.209) |
| 2024-11-13 23:49:08 +0100 | visilii_ | (~visilii@85.172.76.118) (Ping timeout: 252 seconds) |
| 2024-11-13 23:47:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-13 23:45:19 +0100 | visilii | (~visilii@213.24.132.178) (Ping timeout: 260 seconds) |
| 2024-11-13 23:45:08 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Quit: ash3en) |
| 2024-11-13 23:44:13 +0100 | visilii_ | (~visilii@85.172.76.118) |
| 2024-11-13 23:40:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3117-f07c-987b-fc29-77ee-addd.rev.sfr.net) alexherbo2 |
| 2024-11-13 23:38:38 +0100 | Digitteknohippie | Digit |
| 2024-11-13 23:34:07 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2024-11-13 23:33:34 +0100 | ash3en | (~Thunderbi@31.16.203.214) (Client Quit) |
| 2024-11-13 23:32:58 +0100 | ash3en | (~Thunderbi@31.16.203.214) ash3en |
| 2024-11-13 23:32:39 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-11-13 23:32:07 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-13 23:19:43 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-13 23:16:29 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-13 23:08:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-11-13 23:07:07 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2024-11-13 23:03:53 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 23:02:11 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-11-13 23:01:21 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-11-13 22:53:04 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) agent314 |
| 2024-11-13 22:34:18 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-13 22:31:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-13 22:30:50 +0100 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2024-11-13 22:15:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2024-11-13 22:13:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-11-13 22:03:32 +0100 | cuteguest | (~cuteguest@67-134-33-194.dia.static.qwest.net) (Client Quit) |
| 2024-11-13 22:02:17 +0100 | Everything | (~Everythin@46.211.104.82) Everything |
| 2024-11-13 22:02:14 +0100 | cuteguest | (~cuteguest@67-134-33-194.dia.static.qwest.net) |
| 2024-11-13 21:55:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-13 21:50:14 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 2024-11-13 21:45:52 +0100 | <lxsameer> | mauke: yin thanks folks |