Newest at the top
| 2025-12-23 18:19:54 +0100 | <hololeap> | Foldable1 seems kind of pointless on the surface, but now I'm seeing a few useful functions that don't have any Foldable equivalent |
| 2025-12-23 18:11:52 +0100 | tromp | (~textual@2001:1c00:3487:1b00:20d1:6701:d995:9bb6) |
| 2025-12-23 18:11:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-23 18:10:17 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Quit: Client closed) |
| 2025-12-23 18:08:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-23 18:08:14 +0100 | <Leary> | I might actually be alright with this ... the symmetries are doing it for me. |
| 2025-12-23 18:07:42 +0100 | <yahb2> | partitionEithers . map ((uncurry . flip . maybe Left . flip . curry) Right . fmap nonEmpty) ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 18:07:42 +0100 | <Leary> | % :t partitionEithers . map ((uncurry . flip . maybe Left . flip . curry) Right . fmap nonEmpty) |
| 2025-12-23 18:06:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:03:38 +0100 | yin | (~zero@user/zero) zero |
| 2025-12-23 18:03:24 +0100 | <hololeap> | (I assume this data structure is being built using some kind of input from the real world) |
| 2025-12-23 18:02:54 +0100 | <hololeap> | or, instead of building a [(ByteString, [ByteString])], just build a [(ByteString, Maybe (NonEmpty ByteString))] from the start |
| 2025-12-23 18:00:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-23 17:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2025-12-23 17:52:54 +0100 | haritz | (~hrtz@140.228.70.141) |
| 2025-12-23 17:52:29 +0100 | yin | (~zero@user/zero) (Ping timeout: 244 seconds) |
| 2025-12-23 17:50:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:49:27 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 17:48:28 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-12-23 17:47:09 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) (Ping timeout: 260 seconds) |
| 2025-12-23 17:45:19 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) synchromesh |
| 2025-12-23 17:44:19 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) (Read error: Connection reset by peer) |
| 2025-12-23 17:43:32 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-12-23 17:43:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-23 17:43:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 17:43:10 +0100 | <Leary> | Morj: Pick your poison. |
| 2025-12-23 17:42:59 +0100 | <yahb2> | let (.:) = (.) . (.) in partitionEithers . map (uncurry (flip . maybe Left . flip $ Right .: (,)) . fmap nonEmpty) ; :: [(a1, [a2])] -> ([a1], [(a1, NonEmpty a2)]) |
| 2025-12-23 17:42:59 +0100 | <Leary> | % :t let (.:) = (.) . (.) in partitionEithers . map (uncurry (flip . maybe Left . flip $ Right .: (,)) . fmap nonEmpty) |
| 2025-12-23 17:41:18 +0100 | hc | (~hc@mail.hce.li) hc |
| 2025-12-23 17:41:15 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) |
| 2025-12-23 17:41:05 +0100 | LaurentH | (~LaurentH@e7-72-0-245-18.dynamic.sthy.maskatel.ca) (Quit: Client closed) |
| 2025-12-23 17:40:07 +0100 | hc | (~hc@mail.hce.li) (Remote host closed the connection) |
| 2025-12-23 17:39:30 +0100 | lambda_gibbon | (~lambda_gi@2603:7080:ee00:37d8:e0a7:677c:4fbf:6fab) |
| 2025-12-23 17:38:22 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-23 17:36:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:34:56 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2025-12-23 17:32:35 +0100 | Digitteknohippie | Digit |
| 2025-12-23 17:30:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-23 17:30:19 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2025-12-23 17:26:28 +0100 | distopico | (~cerdolibr@xvm-111-150.dc2.ghst.net) distopico |
| 2025-12-23 17:26:13 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 17:26:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 17:25:48 +0100 | Googulator9 | (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-23 17:25:19 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2025-12-23 17:20:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 17:19:09 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-12-23 17:19:07 +0100 | Digit | (~user@user/digit) (Ping timeout: 255 seconds) |
| 2025-12-23 17:16:33 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |