Newest at the top
| 2025-02-02 23:51:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 23:46:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:45:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-02 23:44:55 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-02 23:43:59 +0100 | <ski> | in case you'd like to mix in any other `m' (maybe `IO' or `ST s'), as well |
| 2025-02-02 23:43:33 +0100 | <lambdabot> | MyState -> m (Maybe (Item, MyState)) |
| 2025-02-02 23:43:33 +0100 | <ski> | @unmtl StateT MyState (MaybeT m) Item |
| 2025-02-02 23:43:26 +0100 | <lambdabot> | MyState -> m (Either MyFailure (Item, MyState)) |
| 2025-02-02 23:43:26 +0100 | <ski> | @unmtl StateT MyState (ExceptT MyFailure m) Item |
| 2025-02-02 23:42:59 +0100 | <ski> | if you want to have more than one way to fail |
| 2025-02-02 23:42:50 +0100 | <lambdabot> | MyState -> Either MyFailure (Item, MyState) |
| 2025-02-02 23:42:50 +0100 | <ski> | @unmtl StateT MyState (Either MyFailure) Item |
| 2025-02-02 23:42:33 +0100 | <ski> | or |
| 2025-02-02 23:42:23 +0100 | <lambdabot> | MyState -> Maybe (Item, MyState) |
| 2025-02-02 23:42:23 +0100 | <ski> | @unmtl StateT MyState Maybe Item |
| 2025-02-02 23:42:03 +0100 | <ski> | haskellstudent : `MyState -> Maybe (MyState,Item)' |
| 2025-02-02 23:41:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 23:31:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-02 23:26:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:20:30 +0100 | <Rembane> | haskellstudent: No worries. Good luck! |
| 2025-02-02 23:20:07 +0100 | <haskellstudent> | Alright, thank you for your suggestion, I'll check them out |
| 2025-02-02 23:18:49 +0100 | <Rembane> | haskellstudent: Sweet! Then you can combine ExceptT with a StateT to make up the functionality. OTOH, it might be more straightforward to do it in a custom way. |
| 2025-02-02 23:17:18 +0100 | <haskellstudent> | I'm not familiar with monad transformers but I'm willing to learn |
| 2025-02-02 23:16:40 +0100 | <haskellstudent> | The solution is only limited by my mental capacity and my ability to understand new concepts :) |
| 2025-02-02 23:15:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-02 23:15:20 +0100 | <Rembane> | haskellstudent: Is a monad transformer stack an allowed solution? |
| 2025-02-02 23:14:28 +0100 | <haskellstudent> | about the State monad but I don't see how it synergizes with the short-circuit idea. Any ideas on how I should implement my idea? |
| 2025-02-02 23:14:28 +0100 | <haskellstudent> | Hello, everyone! I'm trying to create a set of functions whose signature is as : State->(State, Item). There are some cases where a call to such function might return a "StateFail". In such case, the whole procedure should short-circuit and return that StateFail, otherwise the procedure should continue until a terminal state is reached. I know |
| 2025-02-02 23:06:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 23:04:10 +0100 | haskellstudent | (~haskellst@2a02:586:8921:ec00:e4f4:e522:fb9a:494b) |
| 2025-02-02 23:00:10 +0100 | monochrom | (trebla@216.138.220.146) |
| 2025-02-02 22:59:09 +0100 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-02-02 22:57:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-02 22:55:52 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-02 22:55:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-02 22:53:49 +0100 | halloy6117 | (~halloy611@123.63.203.210) (Remote host closed the connection) |
| 2025-02-02 22:53:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-02 22:51:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:48:38 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-02 22:45:17 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2025-02-02 22:40:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-02 22:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:31:29 +0100 | CiaoSen | (~Jura@2a05:5800:2d1:4b00:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-02-02 22:24:30 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-02-02 22:23:52 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-02-02 22:21:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-02 22:18:43 +0100 | halloy6117 | (~halloy611@123.63.203.210) |
| 2025-02-02 22:17:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-02 22:13:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-02 22:09:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |