Newest at the top
| 2026-02-24 20:21:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 20:18:59 +0100 | disconnect3d | (~disconnec@user/disconnect3d) (Server closed connection) |
| 2026-02-24 20:17:24 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2026-02-24 20:15:47 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) |
| 2026-02-24 20:15:39 +0100 | aristid | (sid1599@id-1599.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-24 20:11:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-24 20:08:14 +0100 | wickedjargon | (~user@2605:8d80:5431:6cb2:b646:a30f:510c:87ce) (Ping timeout: 245 seconds) |
| 2026-02-24 20:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 20:04:44 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-02-24 20:03:45 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-24 20:02:45 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-24 19:58:44 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-24 19:58:03 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2026-02-24 19:55:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-24 19:54:20 +0100 | exarkun | (~exarkun@user/exarkun) exarkun |
| 2026-02-24 19:53:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-24 19:52:59 +0100 | exarkun | (~exarkun@user/exarkun) (Server closed connection) |
| 2026-02-24 19:52:12 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-02-24 19:50:42 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2026-02-24 19:48:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 19:48:09 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 248 seconds) |
| 2026-02-24 19:46:15 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-24 19:41:50 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-24 19:39:09 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-24 19:33:08 +0100 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2026-02-24 19:32:59 +0100 | T_S_____ | (sid501726@id-501726.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-24 19:32:35 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-24 19:26:52 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-24 19:26:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-02-24 19:21:40 +0100 | <EvanR> | for a one off case, this takes a lot less support |
| 2026-02-24 19:21:39 +0100 | <Milan_Vanca> | Little more verbose but one does not need another lib. |
| 2026-02-24 19:20:46 +0100 | <EvanR> | you can also write an update function f g (v1, Just x, v3) = (v1, Just (g x), v3) |
| 2026-02-24 19:18:41 +0100 | <EvanR> | that is one way |
| 2026-02-24 19:18:04 +0100 | <Milan_Vanca> | Yeah :) This is nice.. and If I wanted to modify v2 I could use lenses for that. Is that correct? |
| 2026-02-24 19:15:45 +0100 | <haskellbridge> | <loonycyborg> yep |
| 2026-02-24 19:15:28 +0100 | rainbyte_ | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-24 19:15:23 +0100 | <Milan_Vanca> | loonycyborg: Do you mean something like (v1, (Just v2), _) ? |
| 2026-02-24 19:15:19 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-24 19:13:03 +0100 | traxex | (traxex@user/traxex) traxex |
| 2026-02-24 19:11:39 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-24 19:11:34 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-24 19:08:45 +0100 | <haskellbridge> | <loonycyborg> Milan_Vanca: not sure if it applies to your situation but you can do deep nesting in the pattern too, so if you just want to look deeper in a nested structure you can fold nested "case" into a single case. |
| 2026-02-24 19:05:29 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-24 19:04:02 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2026-02-24 18:58:21 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-24 18:56:45 +0100 | cipherrot | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-24 18:56:01 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-24 18:52:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-24 18:52:37 +0100 | wickedjargon | (~user@2605:8d80:5431:6cb2:b646:a30f:510c:87ce) wickedjargon |
| 2026-02-24 18:51:54 +0100 | wickedja` | (~user@2605:8d80:5431:6cb2:b646:a30f:510c:87ce) (Remote host closed the connection) |