| 2024-11-15 00:03:51 +0100 | <jackdk> | carbolymer: I don't understand your suggestion. The typeclass I want to type-family-ify exists and I cannot change it (concrete example: `GHC.Records.HasField`), but I want a type family that can select the field type. This example fails with "The RHS of an associated type declaration mentions out-of-scope variable ‘z’ All such variables must be bound on the LHS" https://www.irccloud.com/pastebin/4aygJmq9/MakeATypeFamily.hs |
| 2024-11-15 00:06:26 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-15 00:07:19 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-11-15 00:10:34 +0100 | rvalue- | rvalue |
| 2024-11-15 00:19:05 +0100 | <carbolymer> | jackdk: ah, you can't modify the original class - that' s though |
| 2024-11-15 00:20:06 +0100 | <carbolymer> | s/though/tough |
| 2024-11-15 00:24:54 +0100 | nek0 | (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-15 00:26:44 +0100 | <carbolymer> | jackdk: maybe something in this direction https://paste.tomsmeding.com/Og2LnIpN ? |
| 2024-11-15 00:29:03 +0100 | <jackdk> | The problem is I didn't know `a` at the time. (I was trying to write some servant-flavoured stuff, and wanted to provide an analogue to `ToServantApi` that extracted a single field). So I don't actually know the final type (because there are other TFs involved) but I know GHC does |
| 2024-11-15 00:30:01 +0100 | aljazmc | (~aljazmc@user/aljazmc) (Remote host closed the connection) |
| 2024-11-15 00:30:32 +0100 | <carbolymer> | ah |
| 2024-11-15 00:31:05 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-15 00:34:10 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-15 00:34:10 +0100 | ljdarj1 | ljdarj |
| 2024-11-15 00:41:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f73687bc11ede7922f8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-15 00:45:54 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:71c9:147c:d31f:c8d0) (Ping timeout: 246 seconds) |
| 2024-11-15 00:47:05 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:4ba:cd34:52ca:7a5) jle` |
| 2024-11-15 00:48:36 +0100 | <sm> | @where+ wiwik https://gotchamana.github.io/wiwinwlh What I Wish I Knew When Learning Haskell, Stephen Diehl |
| 2024-11-15 00:48:37 +0100 | <lambdabot> | Good to know. |
| 2024-11-15 00:48:39 +0100 | <sm> | found! |
| 2024-11-15 00:49:10 +0100 | arthurvl | (~arthurvl@77-174-49-144.fixed.kpn.net) earthy |
| 2024-11-15 00:56:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-15 01:03:08 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-15 01:16:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-11-15 01:17:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-15 01:21:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:4913:54f9:72cb:8a89) (Ping timeout: 272 seconds) |
| 2024-11-15 01:22:45 +0100 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-11-15 01:23:00 +0100 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2024-11-15 01:24:54 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |