Newest at the top
| 2026-02-24 20:43:11 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-02-24 20:41:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-24 20:39:21 +0100 | Psychotic1 | (~Psychotic@2600:1007:b0a8:2a87:b8ca:d0cd:23e3:1e08) |
| 2026-02-24 20:37:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-24 20:36:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-24 20:35:51 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2026-02-24 20:34:28 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-24 20:29:08 +0100 | disconnect3d | (~disconnec@user/disconnect3d) disconnect3d |
| 2026-02-24 20:26:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-24 20:25:56 +0100 | wickedjargon | (~user@2605:8d80:5431:6cb2:b646:a30f:510c:87ce) wickedjargon |
| 2026-02-24 20:25:49 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-24 20:25:49 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:eca0:756e:c98c:4e3f) (Changing host) |
| 2026-02-24 20:25:49 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:eca0:756e:c98c:4e3f) |
| 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), _) ? |