Newest at the top
| 2025-12-23 18:51:47 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:43:49 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-23 18:42:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 18:39:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-23 18:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:34:38 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-23 18:27:45 +0100 | <monochrom> | The "Semigroup" hint helped. :) |
| 2025-12-23 18:27:04 +0100 | <monochrom> | "Oh as in foldr1, not as in Eq1" |
| 2025-12-23 18:26:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 18:26:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-12-23 18:26:33 +0100 | <monochrom> | Took me a while to realize that too. :) |
| 2025-12-23 18:26:00 +0100 | <EvanR> | it's not a higher kinded Foldable? |
| 2025-12-23 18:25:52 +0100 | <EvanR> | er, is that what Foldable1 is |
| 2025-12-23 18:24:56 +0100 | <monochrom> | Yeah, things like maximum may better belong to Foldable1 too. |
| 2025-12-23 18:22:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 18:22:06 +0100 | <hololeap> | being able to use a Semigroup that cannot have a Monoid instance could be very handy on occasion |
| 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) |