Newest at the top
| 2025-10-17 01:06:31 +0200 | karenw_ | (~karenw@user/karenw) karenw |
| 2025-10-17 01:03:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-17 01:01:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 01:01:25 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 00:59:19 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 00:56:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:55:45 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) |
| 2025-10-17 00:55:19 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Quit: Leaving) |
| 2025-10-17 00:51:06 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-17 00:48:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:48:04 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-17 00:46:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:45:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 00:44:10 +0200 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:43:08 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 00:41:42 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-10-17 00:41:02 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Client Quit) |
| 2025-10-17 00:41:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:40:39 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 256 seconds) |
| 2025-10-17 00:40:39 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds) |
| 2025-10-17 00:38:27 +0200 | AlexZenon | (~alzenon@85.174.180.124) (Read error: Connection reset by peer) |
| 2025-10-17 00:38:27 +0200 | mesaoptimizer0 | mesaoptimizer |
| 2025-10-17 00:37:31 +0200 | emmanuelux_ | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-17 00:37:20 +0200 | AlexZenon_2 | (~alzenon@85.174.180.124) |
| 2025-10-17 00:36:29 +0200 | Inline | (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) Inline |
| 2025-10-17 00:35:34 +0200 | <dolio> | I don't know why only some would have been fixed, though. |
| 2025-10-17 00:35:27 +0200 | gustrb | (~gustrb@200.132.2.8) |
| 2025-10-17 00:35:23 +0200 | <dolio> | Dunno. I kind of thought Min/Max were the same way, so maybe they were changed. |
| 2025-10-17 00:34:56 +0200 | <geekosaur> | weren't some others rewritten, though? |
| 2025-10-17 00:30:30 +0200 | <dolio> | They were written before Semigroup existed as a class. |
| 2025-10-17 00:30:13 +0200 | <dolio> | Yeah, First/Last could be reworked to be semigroups without the Maybe, but probably no one cares enough to fix the historical design. |
| 2025-10-17 00:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 00:29:24 +0200 | <dcpagan> | Natural has a minBound, but no maxBound. |
| 2025-10-17 00:29:17 +0200 | <dcpagan> | MinBounded and MaxBounded type classes would be nice. |
| 2025-10-17 00:28:47 +0200 | <dcpagan> | I saw other monoids in Data.Monoid that wrapped a Maybe, like First and Last. |
| 2025-10-17 00:28:31 +0200 | <dolio> | Technically the `(Ord a, Bounded a) => Monoid (Max a)` only needs one bound, but the classes aren't that refined. |
| 2025-10-17 00:28:14 +0200 | <dcpagan> | Oh, I see it. Transposing Max and Just works. |
| 2025-10-17 00:27:05 +0200 | <dolio> | `Max a` is the semigroup taking the maximum in `a`, and then `Maybe` adds a unit to a semigroup. |
| 2025-10-17 00:26:29 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-10-17 00:26:00 +0200 | <dolio> | I think you might want `Maybe (Max a)` |
| 2025-10-17 00:25:23 +0200 | <dcpagan> | I imported Data.Semigroup and Data.Monoid. |
| 2025-10-17 00:25:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-17 00:24:57 +0200 | <dcpagan> | Here's the code with the type error: "fromMaybe 0 . getMax . foldMap (Max . Just . length)" |
| 2025-10-17 00:24:35 +0200 | <monochrom> | IIUC that just means you have a Semigroup, you just don't have a Monoid. |
| 2025-10-17 00:23:41 +0200 | <dcpagan> | This is the type error I'm getting: "Could not deduce (Bounded (Maybe Int))" |
| 2025-10-17 00:22:48 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-17 00:22:03 +0200 | <dcpagan> | instance Ord a => Semigroup (Max a) |
| 2025-10-17 00:21:35 +0200 | <dcpagan> | instance Semigroup a => Monoid (Maybe a) |
| 2025-10-17 00:21:10 +0200 | <dcpagan> | instance (Ord a, Bounded a) => Monoid (Max a) |
| 2025-10-17 00:21:07 +0200 | <dcpagan> | The following monoid instances are defined in the standard library: |