Logs: liberachat/#haskell
| 2025-08-17 22:50:51 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-17 22:56:54 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-17 22:58:02 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-08-17 23:09:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-17 23:09:38 | × | hyletic quits (~textual@user/hyletic) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-08-17 23:13:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-17 23:14:42 | → | hyletic joins (~textual@208.67.108.99) |
| 2025-08-17 23:14:42 | × | hyletic quits (~textual@208.67.108.99) (Changing host) |
| 2025-08-17 23:14:42 | → | hyletic joins (~textual@user/hyletic) |
| 2025-08-17 23:14:56 | × | hyletic quits (~textual@user/hyletic) (Client Quit) |
| 2025-08-17 23:19:33 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 245 seconds) |
| 2025-08-17 23:21:20 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2025-08-17 23:22:59 | → | davidlbowman joins (~dlb@user/davidlbowman) |
| 2025-08-17 23:24:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-17 23:28:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-17 23:31:03 | × | sprotte24 quits (~sprotte24@p200300d16f3076007cb46498ecad6168.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-17 23:31:33 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-08-17 23:33:33 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-17 23:34:48 | <hololeap> | ozkutuk: I ended up using (mapC id) which seemed more straightforward |
| 2025-08-17 23:38:14 | × | acidjnk quits (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-08-17 23:43:25 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 2025-08-17 23:55:54 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-17 23:56:26 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-17 23:57:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-17 23:58:02 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-08-17 23:58:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-17 23:59:58 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 00:01:44 | → | welterde joins (welterde@thinkbase.srv.welterde.de) |
| 2025-08-18 00:02:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 00:05:38 | trickard_ | is now known as trickard |
| 2025-08-18 00:07:13 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-18 00:08:02 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-08-18 00:16:36 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 2025-08-18 00:20:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-08-18 00:20:42 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 00:21:18 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 00:22:46 | Axma60037 | is now known as Axman6 |
| 2025-08-18 00:23:55 | <Axman6> | hololeap: is mapC id not just id? |
| 2025-08-18 00:24:03 | → | hyletic joins (~textual@user/hyletic) |
| 2025-08-18 00:24:46 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 00:24:46 | ljdarj1 | is now known as ljdarj |
| 2025-08-18 00:28:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-08-18 00:33:12 | × | xff0x quits (~xff0x@2405:6580:b080:900:448b:e7f0:8b52:d3c) (Ping timeout: 256 seconds) |
| 2025-08-18 00:34:50 | <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 00:35:37 | <hololeap> | I guess I could have approached the problem differently |
| 2025-08-18 00:39:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-08-18 00:44:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 00:48:09 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 00:48:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 00:50:34 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Server closed connection) |
| 2025-08-18 00:50:45 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 2025-08-18 01:02:44 | × | hyletic quits (~textual@user/hyletic) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-08-18 01:10:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 01:13:53 | <davean> | hololeap: The identity is usually useful though. Its often a good thing to have handy. |
| 2025-08-18 01:14:00 | × | tremon quits (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2025-08-18 01:15:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-18 01:25:21 | <ski> | empty/trivial things commonly are |
| 2025-08-18 01:26:06 | <ski> | (putting it as the result of one branch is one of the standard uses) |
| 2025-08-18 01:26:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 01:29:31 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 2025-08-18 01:32:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 01:34:59 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-18 01:38:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 01:38:18 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 01:38:51 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 01:41:05 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-18 01:41:13 | × | pointlessslippe1 quits (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-08-18 01:42:47 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 01:44:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 01:44:21 | × | haetsal quits (~quassel@221.138.168.192) (Quit: No Ping reply in 180 seconds.) |
| 2025-08-18 01:49:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-18 01:50:42 | → | pointlessslippe1 joins (~pointless@62.106.85.17) |
| 2025-08-18 01:57:09 | <Axman6> | oh right, I forgot that Conduit doesn't compose things with function application |
| 2025-08-18 01:57:29 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-18 01:58:17 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2025-08-18 02:04:17 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-08-18 02:06:02 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 02:08:37 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-08-18 02:15:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 02:19:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-18 02:22:03 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 244 seconds) |
| 2025-08-18 02:30:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 02:31:21 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-08-18 02:34:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-08-18 02:39:56 | × | kawzeg quits (kawzeg@2a01:4f9:c013:cfbf::1) (Server closed connection) |
| 2025-08-18 02:40:14 | → | kawzeg joins (kawzeg@2a01:4f9:c013:cfbf::1) |
| 2025-08-18 02:45:30 | × | jle` quits (~jle`@2603:8001:3b00:11:45b2:bb8:953d:fe48) (Ping timeout: 252 seconds) |
| 2025-08-18 02:46:03 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-08-18 02:46:23 | → | jle` joins (~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) |
| 2025-08-18 02:47:53 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-18 03:01:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-18 03:06:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-18 03:10:15 | → | mange joins (~mange@user/mange) |
| 2025-08-18 03:12:06 | × | filwisher quits (2e6936c793@2a03:6000:1812:100::170) (Server closed connection) |
| 2025-08-18 03:12:13 | → | filwisher joins (2e6936c793@2a03:6000:1812:100::170) |
| 2025-08-18 03:12:21 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 276 seconds) |
| 2025-08-18 03:21:35 | × | trickard quits (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-18 03:21:48 | → | trickard_ joins (~trickard@cpe-90-98-47-163.wireline.com.au) |
| 2025-08-18 03:28:58 | trickard_ | is now known as trickard |
| 2025-08-18 03:42:49 | → | Square2 joins (~Square@user/square) |
All times are in UTC.