Newest at the top
| 2025-10-21 17:40:03 +0200 | Zemy_ | (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-10-21 17:40:02 +0200 | <kuribas> | I would avoid typeclasses, and just pattern match on the cases. |
| 2025-10-21 17:39:57 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 17:39:33 +0200 | Zemy | (~Zemy@2600:100c:b0a1:1595:d8dd:61ff:fe3f:6089) |
| 2025-10-21 17:39:32 +0200 | Zemy_ | (~Zemy@12.50.240.58) (Read error: Connection reset by peer) |
| 2025-10-21 17:39:11 +0200 | <kuribas> | bwe: don't you want lenses, instead of type classes? |
| 2025-10-21 17:39:11 +0200 | <bwe> | kuribas: I corrected it in the updated paste: https://paste.tomsmeding.com/ahtW4uic |
| 2025-10-21 17:38:51 +0200 | <bwe> | Leary: I feel it might even organise the code better, but still, having each variant completely defined under a type instance has some appeal. |
| 2025-10-21 17:38:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:75ad:6ea9:b519:8422) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-21 17:37:44 +0200 | <kuribas> | detFieldA (SiteADto dto) <= not a proxy. |
| 2025-10-21 17:37:29 +0200 | <kuribas> | bwe: why does it take a proxy? |
| 2025-10-21 17:32:50 +0200 | <Leary> | By making them different branches of the same function. |
| 2025-10-21 17:27:32 +0200 | Googulator11 | Googulator |
| 2025-10-21 17:25:47 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-21 17:23:49 +0200 | <bwe> | Leary: Well, I have a bunch of functions with same name for different SiteName. How would I do it in a straightforward way with case? Also for code organisation, I can put SiteA in a single file. |
| 2025-10-21 17:20:02 +0200 | <Leary> | bwe: Why are you trying to use a typeclass for this in the first place? Just `case` on the `SiteName`. |
| 2025-10-21 17:16:43 +0200 | <bwe> | updated: https://paste.tomsmeding.com/ahtW4uic |
| 2025-10-21 17:16:10 +0200 | Googulator | (~Googulato@92-249-221-245.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 17:15:36 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 17:10:06 +0200 | annamalai | (~annamalai@157.49.253.239) annamalai |
| 2025-10-21 17:09:47 +0200 | annamalai | (~annamalai@2409:4072:6406:6fe8::425:f8a4) (Read error: Connection reset by peer) |
| 2025-10-21 17:09:46 +0200 | <bwe> | I mean, I could create distinct data constructors like `data SiteADto = SiteADto SiteDto` and the type instances would be straightforward like `instance ToSiteContent SiteADto` and functions like `detFieldA :: proxy SiteADto -> Text`. But how can I get rid of the additional layer introduced by `SiteADto`? |
| 2025-10-21 17:09:18 +0200 | pdroman | (uid354606@id-354606.uxbridge.irccloud.com) |
| 2025-10-21 17:09:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 17:08:06 +0200 | annamalai | (~annamalai@2409:4072:6406:6fe8::425:f8a4) annamalai |
| 2025-10-21 17:07:52 +0200 | annamalai | (~annamalai@157.49.253.239) (Read error: Connection reset by peer) |
| 2025-10-21 17:04:13 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-10-21 17:02:56 +0200 | annamalai | (~annamalai@157.49.253.239) annamalai |
| 2025-10-21 17:01:53 +0200 | <bwe> | How to use type classes when the variance is a sum type? https://paste.tomsmeding.com/U0JGfS1e |
| 2025-10-21 17:01:52 +0200 | Azurit | (~Android@225.red-88-9-127.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2025-10-21 17:01:46 +0200 | annamalai | (~annamalai@157.49.204.238) (Ping timeout: 248 seconds) |
| 2025-10-21 17:00:41 +0200 | Azurit | (~Android@225.red-88-9-127.dynamicip.rima-tde.net) |
| 2025-10-21 17:00:23 +0200 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-10-21 16:59:38 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2025-10-21 16:58:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 16:57:34 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 16:56:49 +0200 | Googulator | (~Googulato@92-249-221-245.pool.digikabel.hu) |
| 2025-10-21 16:56:32 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 16:49:19 +0200 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2025-10-21 16:47:57 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-21 16:45:43 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-21 16:44:52 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 260 seconds) |
| 2025-10-21 16:43:07 +0200 | Zemy | (~Zemy@2600:100c:b0a1:1595:d810:3dff:feac:8eef) (Ping timeout: 260 seconds) |
| 2025-10-21 16:42:18 +0200 | Versality | (~Versality@user/Versality) Versality |
| 2025-10-21 16:42:18 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 16:42:01 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 16:41:24 +0200 | trickard_ | trickard |
| 2025-10-21 16:39:42 +0200 | Zemy_ | (~Zemy@12.50.240.58) |
| 2025-10-21 16:38:28 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-21 16:36:35 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 245 seconds) |