Newest at the top
| 2025-12-15 20:43:44 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-15 20:43:37 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-12-15 20:42:54 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:42:34 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 20:41:23 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Ping timeout: 250 seconds) |
| 2025-12-15 20:35:09 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-15 20:33:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2025-12-15 20:32:15 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-15 20:30:33 +0100 | aku | (aku@65.108.245.241) eagleflo |
| 2025-12-15 20:29:15 +0100 | aku | (aku@65.108.245.241) (Quit: Lost terminal) |
| 2025-12-15 20:28:25 +0100 | <milan2> | Yeah I am looking at that right now :) |
| 2025-12-15 20:28:11 +0100 | <gentauro> | https://hackage-content.haskell.org/package/ghc-9.12.2/docs/src/GHC.Data.Maybe.html#rightToMaybe |
| 2025-12-15 20:27:18 +0100 | <gentauro> | milan2: This is actually the right signature to search for -> https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20b `Either a b -> Maybe b` |
| 2025-12-15 20:27:18 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-15 20:27:01 +0100 | <lambdabot> | MonadFail m => Either a b -> m b |
| 2025-12-15 20:27:00 +0100 | <int-e> | :t \e -> do Right a <- pure e; pure a |
| 2025-12-15 20:26:26 +0100 | <milan2> | gentauro: TY, I didn't know I can search by type signature. Thank you int-e :) |
| 2025-12-15 20:25:45 +0100 | <lambdabot> | [Either a b] -> [b] |
| 2025-12-15 20:25:44 +0100 | <gentauro> | :t rights |
| 2025-12-15 20:25:27 +0100 | <gentauro> | int-e: and you only rely on `base`. That's nice :) |
| 2025-12-15 20:25:24 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-12-15 20:25:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-15 20:24:29 +0100 | <int-e> | (very intuitive ;-) ) |
| 2025-12-15 20:24:06 +0100 | <lambdabot> | Either a1 a2 -> Maybe a2 |
| 2025-12-15 20:24:05 +0100 | <int-e> | :t listToMaybe . rights . pure |
| 2025-12-15 20:23:17 +0100 | <gentauro> | milan2: I don't know about operators, but, Hoogle is your friend ;) `https://hoogle.haskell.org/?hoogle=Either%20a%20b%20-%3E%20Maybe%20a` |
| 2025-12-15 20:20:29 +0100 | <milan2> | Hello is there something like >>= but for different types? I have "Either" and I want to chain it with "Maybe" so Left goes to Nothing and Right to Just? |
| 2025-12-15 20:19:31 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-15 20:18:05 +0100 | milan2 | (~milan@88.212.61.169) |
| 2025-12-15 20:16:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-15 20:15:43 +0100 | Googulator37 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 20:04:21 +0100 | latticepolytope | (~user@user/isekaijin) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-12-15 19:55:58 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) ft |
| 2025-12-15 19:43:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-15 19:19:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-15 19:13:37 +0100 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-15 19:05:59 +0100 | latticepolytope | (~user@2800:200:e840:356e:90cc:fccb:4c3b:fc80) (Remote host closed the connection) |
| 2025-12-15 19:05:34 +0100 | latticepolytope | (~user@2800:200:e840:356e:90cc:fccb:4c3b:fc80) |
| 2025-12-15 19:01:17 +0100 | Square | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2025-12-15 18:58:17 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-15 18:54:30 +0100 | latticepolytope | (~user@user/isekaijin) (Quit: brb) |
| 2025-12-15 18:51:56 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-15 18:51:40 +0100 | Googulator15 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-15 18:34:32 +0100 | acarrico | (~acarrico@2001:18b0:c000:7433:aee:5563:d876:718f) |
| 2025-12-15 18:33:55 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-15 18:31:05 +0100 | tromp | (~textual@2001:1c00:3487:1b00:6cd5:9506:337d:4c75) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-15 18:29:26 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-12-15 18:29:07 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-12-15 18:22:19 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-15 18:22:05 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |