| 2025-08-18 00:05:06 +0200 | <haskellbridge> | <ozkutuk> hololeap: does that actually work as you expect? I can't try it right now but I would expect that to yield only a single element |
| 2025-08-18 00:05:39 +0200 | <haskellbridge> | <ozkutuk> hololeap: awaitForever yield would be more straightforward I think |
| 2025-08-18 00:06:31 +0200 | piele | (~piele@eiseth.creativeserver.net) (Server closed connection) |
| 2025-08-18 00:06:43 +0200 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2025-08-18 00:07:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 00:11:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 00:12:43 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-18 00:14:31 +0200 | tromp | (~textual@2001:1c00:3487:1b00:c170:7352:be3a:d385) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-18 00:22:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 00:26:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 00:29:46 +0200 | athan | (~athan@syn-174-106-168-248.res.spectrum.com) athan |
| 2025-08-18 00:34:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-08-18 00:42:16 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-08-18 00:45:51 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) (Ping timeout: 276 seconds) |
| 2025-08-18 00:50:51 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-18 00:56:54 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-18 00:58:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-18 01:09:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 01:09:38 +0200 | hyletic | (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-08-18 01:13:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-18 01:14:42 +0200 | hyletic | (~textual@208.67.108.99) |
| 2025-08-18 01:14:42 +0200 | hyletic | (~textual@208.67.108.99) (Changing host) |
| 2025-08-18 01:14:42 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-18 01:14:56 +0200 | hyletic | (~textual@user/hyletic) (Client Quit) |
| 2025-08-18 01:19:33 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 245 seconds) |
| 2025-08-18 01:21:20 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-08-18 01:22:59 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-18 01:24:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 01:28:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 01:31:03 +0200 | sprotte24 | (~sprotte24@p200300d16f3076007cb46498ecad6168.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-18 01:31:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-08-18 01:33:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-18 01:34:48 +0200 | <hololeap> | ozkutuk: I ended up using (mapC id) which seemed more straightforward |
| 2025-08-18 01:38:14 +0200 | acidjnk | (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-18 01:43:25 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-08-18 01:55:54 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 01:56:26 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-08-18 01:57:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 01:58:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-08-18 01:58:44 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 01:59:58 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 02:01:44 +0200 | welterde | (welterde@thinkbase.srv.welterde.de) welterde |
| 2025-08-18 02:02:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 02:05:38 +0200 | trickard_ | trickard |
| 2025-08-18 02:07:13 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-18 02:08:02 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-08-18 02:16:36 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-08-18 02:20:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-08-18 02:20:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 02:21:18 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 02:22:46 +0200 | Axma60037 | Axman6 |
| 2025-08-18 02:23:55 +0200 | <Axman6> | hololeap: is mapC id not just id? |
| 2025-08-18 02:24:03 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-18 02:24:46 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 02:24:46 +0200 | ljdarj1 | ljdarj |
| 2025-08-18 02:28:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-18 02:33:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:448b:e7f0:8b52:d3c) (Ping timeout: 256 seconds) |
| 2025-08-18 02:34:50 +0200 | <hololeap> | Axman6: no, the idea was that I needed a "do-nothing" conduit, with the type Monad m => ConduitT a a m () |
| 2025-08-18 02:35:37 +0200 | <hololeap> | I guess I could have approached the problem differently |
| 2025-08-18 02:39:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-08-18 02:44:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 02:48:09 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 02:48:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 02:50:34 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Server closed connection) |
| 2025-08-18 02:50:45 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) shawwwn |
| 2025-08-18 03:02:44 +0200 | hyletic | (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-08-18 03:10:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 03:13:53 +0200 | <davean> | hololeap: The identity is usually useful though. Its often a good thing to have handy. |
| 2025-08-18 03:14:00 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2025-08-18 03:15:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 03:25:21 +0200 | <ski> | empty/trivial things commonly are |
| 2025-08-18 03:26:06 +0200 | <ski> | (putting it as the result of one branch is one of the standard uses) |
| 2025-08-18 03:26:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 03:29:31 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-18 03:32:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 03:34:59 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-18 03:38:08 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 03:38:18 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 03:38:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 03:41:05 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-18 03:41:13 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-08-18 03:42:47 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 03:44:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 03:44:21 +0200 | haetsal | (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-08-18 03:49:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-18 03:50:42 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-08-18 03:57:09 +0200 | <Axman6> | oh right, I forgot that Conduit doesn't compose things with function application |
| 2025-08-18 03:57:29 +0200 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-18 03:58:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-08-18 04:04:17 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-08-18 04:06:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 04:08:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 04:15:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 04:19:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-18 04:22:03 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 2025-08-18 04:30:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 04:31:21 +0200 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-08-18 04:34:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 04:39:56 +0200 | kawzeg | (kawzeg@2a01:4f9:c013:cfbf::1) (Server closed connection) |
| 2025-08-18 04:40:14 +0200 | kawzeg | (kawzeg@2a01:4f9:c013:cfbf::1) kawzeg |
| 2025-08-18 04:45:30 +0200 | jle` | (~jle`@2603:8001:3b00:11:45b2:bb8:953d:fe48) (Ping timeout: 252 seconds) |
| 2025-08-18 04:46:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-18 04:46:23 +0200 | jle` | (~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) jle` |
| 2025-08-18 04:47:53 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-18 05:01:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 05:06:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-18 05:10:15 +0200 | mange | (~mange@user/mange) mange |
| 2025-08-18 05:12:06 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Server closed connection) |
| 2025-08-18 05:12:13 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2025-08-18 05:12:21 +0200 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Ping timeout: 276 seconds) |
| 2025-08-18 05:21:35 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 05:21:48 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 05:28:58 +0200 | trickard_ | trickard |
| 2025-08-18 05:42:49 +0200 | Square2 | (~Square@user/square) Square |
| 2025-08-18 05:52:17 +0200 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2025-08-18 06:05:09 +0200 | hyletic | (~textual@user/hyletic) hyletic |
| 2025-08-18 06:08:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection) |
| 2025-08-18 06:12:33 +0200 | Square | (~Square4@user/square) Square |
| 2025-08-18 06:14:16 +0200 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-08-18 06:20:52 +0200 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2025-08-18 06:20:53 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-08-18 06:46:35 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-08-18 06:51:49 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Server closed connection) |
| 2025-08-18 06:51:55 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
| 2025-08-18 06:56:32 +0200 | hyletic | (~textual@user/hyletic) (Ping timeout: 244 seconds) |
| 2025-08-18 07:03:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 07:08:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 07:12:54 +0200 | doyougnu | (~doyougnu@38.175.72.111) (Ping timeout: 252 seconds) |
| 2025-08-18 07:15:16 +0200 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2025-08-18 07:19:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 07:22:33 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-08-18 07:26:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 07:37:29 +0200 | michalz | (~michalz@185.246.207.201) |
| 2025-08-18 07:37:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 07:42:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 07:43:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2025-08-18 07:53:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 07:54:00 +0200 | elbear | (~lucian@109.166.131.102) |
| 2025-08-18 07:54:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:201b:3290:8403:7832) |
| 2025-08-18 07:57:13 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-08-18 07:58:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 07:59:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:201b:3290:8403:7832) (Ping timeout: 252 seconds) |
| 2025-08-18 08:03:04 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-08-18 08:06:42 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-18 08:21:06 +0200 | elbear | (~lucian@109.166.131.102) (Ping timeout: 252 seconds) |
| 2025-08-18 08:29:53 +0200 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-08-18 08:34:14 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-18 08:35:00 +0200 | trickard | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 08:35:13 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 08:40:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-08-18 08:42:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 08:43:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Client Quit) |
| 2025-08-18 08:44:34 +0200 | aforemny | (~aforemny@i577B12AC.versanet.de) aforemny |
| 2025-08-18 08:46:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 08:55:00 +0200 | trickard_ | trickard |
| 2025-08-18 08:57:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-18 08:57:43 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-08-18 09:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
| 2025-08-18 09:00:44 +0200 | caconym747 | (~caconym@user/caconym) caconym |
| 2025-08-18 09:02:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |