2024/11/15

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 +0100rvalue-(~rvalue@user/rvalue) rvalue
2024-11-15 00:07:19 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2024-11-15 00:10:34 +0100rvalue-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 +0100nek0(~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 +0100aljazmc(~aljazmc@user/aljazmc) (Remote host closed the connection)
2024-11-15 00:30:32 +0100 <carbolymer> ah
2024-11-15 00:31:05 +0100ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2024-11-15 00:34:10 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2024-11-15 00:34:10 +0100ljdarj1ljdarj
2024-11-15 00:41:13 +0100acidjnk(~acidjnk@p200300d6e7283f73687bc11ede7922f8.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-11-15 00:45:54 +0100jle`(~jle`@2603:8001:3b02:84d4:71c9:147c:d31f:c8d0) (Ping timeout: 246 seconds)
2024-11-15 00:47:05 +0100jle`(~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 +0100arthurvl(~arthurvl@77-174-49-144.fixed.kpn.net) earthy
2024-11-15 00:56:35 +0100peterbecich(~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 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-11-15 01:17:40 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2024-11-15 01:21:22 +0100xff0x(~xff0x@2405:6580:b080:900:4913:54f9:72cb:8a89) (Ping timeout: 272 seconds)
2024-11-15 01:22:45 +0100Leary(~Leary@user/Leary/x-0910699) (Remote host closed the connection)
2024-11-15 01:23:00 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2024-11-15 01:24:54 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-11-15 01:27:02 +0100nek0(~nek0@user/nek0) nek0
2024-11-15 01:32:02 +0100arahael_(~arahael@user/arahael) (Quit: leaving)
2024-11-15 01:33:28 +0100sprotte24(~sprotte24@p200300d16f0f4e0080b9b718c313bb1e.dip0.t-ipconnect.de) (Quit: Leaving)
2024-11-15 01:36:24 +0100troojg(~troojg@user/troojg) troojg
2024-11-15 01:46:42 +0100ethantwardy(user@user/ethantwardy) (Quit: WeeChat 4.3.2)
2024-11-15 01:48:33 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2024-11-15 01:51:08 +0100alp(~alp@2001:861:e3d6:8f80:c18:bc99:f25e:38cc) (Ping timeout: 272 seconds)
2024-11-15 02:05:03 +0100Everything(~Everythin@178-133-104-20.mobile.vf-ua.net) (Quit: leaving)
2024-11-15 02:09:11 +0100alp(~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305)
2024-11-15 02:10:35 +0100alp(~alp@2001:861:e3d6:8f80:27d1:e3a6:13db:a305) (Remote host closed the connection)
2024-11-15 02:10:52 +0100alp(~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089)
2024-11-15 02:12:35 +0100alp_(~alp@2001:861:e3d6:8f80:930e:6baf:301:3217)
2024-11-15 02:12:43 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 264 seconds)
2024-11-15 02:13:10 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2024-11-15 02:13:59 +0100alp_(~alp@2001:861:e3d6:8f80:930e:6baf:301:3217) (Remote host closed the connection)
2024-11-15 02:14:17 +0100alp_(~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd)
2024-11-15 02:15:41 +0100alp(~alp@2001:861:e3d6:8f80:ecc8:3a9b:3201:3089) (Ping timeout: 252 seconds)
2024-11-15 02:15:41 +0100alp_(~alp@2001:861:e3d6:8f80:8d4c:7c75:d4ee:bfcd) (Remote host closed the connection)
2024-11-15 02:15:53 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2024-11-15 02:15:59 +0100alp_(~alp@2001:861:e3d6:8f80:eef7:e614:608:329d)
2024-11-15 02:17:43 +0100alp__(~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde)
2024-11-15 02:19:06 +0100alp__(~alp@2001:861:e3d6:8f80:8a02:58bc:ff74:ebde) (Remote host closed the connection)
2024-11-15 02:19:23 +0100alp__(~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27)
2024-11-15 02:20:49 +0100alp_(~alp@2001:861:e3d6:8f80:eef7:e614:608:329d) (Ping timeout: 252 seconds)
2024-11-15 02:21:06 +0100alp_(~alp@2001:861:e3d6:8f80:143c:a0ab:970d:2678)
2024-11-15 02:24:15 +0100alp__(~alp@2001:861:e3d6:8f80:c055:8587:ecce:9a27) (Ping timeout: 246 seconds)