Newest at the top
| 2025-05-01 21:50:21 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-05-01 21:49:35 +0200 | <tomsmeding> | (if you want Nothing to be an error) |
| 2025-05-01 21:49:04 +0200 | <mauke> | MaybeT . pure |
| 2025-05-01 21:48:56 +0200 | <tomsmeding> | oh, you're right |
| 2025-05-01 21:48:44 +0200 | <mauke> | that looks like the wrong shape |
| 2025-05-01 21:47:51 +0200 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2025-05-01 21:47:50 +0200 | <tomsmeding> | :t Control.Monad.Trans.Class.lift |
| 2025-05-01 21:47:04 +0200 | <dutchie> | now the annoying part is the non-monadic Map.lookup, heh |
| 2025-05-01 21:46:54 +0200 | <dutchie> | right, yeah, I think I can put it together there |
| 2025-05-01 21:45:02 +0200 | <tomsmeding> | (not quite always; there are more utility functions in Control.Monad.Trans.Maybe) |
| 2025-05-01 21:44:33 +0200 | <tomsmeding> | just applying the MaybeT constructor is usually all wrapping that's required |
| 2025-05-01 21:44:26 +0200 | <mauke> | wibble = MaybeT . ThirdParty.wibble |
| 2025-05-01 21:44:11 +0200 | <lambdabot> | m (Maybe a) -> Control.Monad.Trans.Maybe.MaybeT m a |
| 2025-05-01 21:44:11 +0200 | <tomsmeding> | :t Control.Monad.Trans.Maybe.MaybeT |
| 2025-05-01 21:43:51 +0200 | <lambdabot> | • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe) |
| 2025-05-01 21:43:51 +0200 | <lambdabot> | • Data constructor not in scope: MaybeT |
| 2025-05-01 21:43:51 +0200 | <lambdabot> | error: |
| 2025-05-01 21:43:50 +0200 | <tomsmeding> | :t MaybeT |
| 2025-05-01 21:43:28 +0200 | <dutchie> | hm |
| 2025-05-01 21:43:21 +0200 | <lambdabot> | AppM (Maybe a) |
| 2025-05-01 21:43:21 +0200 | <tomsmeding> | @unmtl MaybeT AppM a |
| 2025-05-01 21:43:17 +0200 | <dutchie> | wibble/wobble come from 3rd party libs though so unless I can just wrap them that's not helpful |
| 2025-05-01 21:42:40 +0200 | <mauke> | yes, that's MaybeT AppM a |
| 2025-05-01 21:42:28 +0200 | <dutchie> | it feels like morally i should have a monad instance for AppM (Maybe a) |
| 2025-05-01 21:41:33 +0200 | <dutchie> | I guess I should have called it mbaz rather than mfoo |
| 2025-05-01 21:40:32 +0200 | <mauke> | is there a MaybeT? |
| 2025-05-01 21:40:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-01 21:39:30 +0200 | <EvanR> | wibble takes a Bar not a Maybe |
| 2025-05-01 21:37:54 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-05-01 21:37:37 +0200 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-01 21:37:35 +0200 | <dutchie> | I can't figure out how to handle threading the Nothing/AppM monad through each other |
| 2025-05-01 21:36:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-01 21:36:20 +0200 | <dutchie> | surely there is a better way to write this: https://paste.tomsmeding.com/zzpDyNYM |
| 2025-05-01 21:35:51 +0200 | euleritian | (~euleritia@dynamic-176-006-130-078.176.6.pool.telefonica.de) |
| 2025-05-01 21:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:35:08 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-05-01 21:27:44 +0200 | sprotte24 | (~sprotte24@p200300d16f04420079bd62a2defad9dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-01 21:24:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-01 21:24:10 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-05-01 21:21:25 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-05-01 21:18:45 +0200 | myme | (~myme@2a01:799:d5e:5f00:5054:783f:d768:b894) myme |
| 2025-05-01 21:18:00 +0200 | myme | (~myme@2a01:799:d5e:5f00:de67:3465:9a6a:d0b8) (Ping timeout: 252 seconds) |
| 2025-05-01 21:17:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:13:02 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f767dcf0a605c28f3a7.dip0.t-ipconnect.de) acidjnk |
| 2025-05-01 21:08:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-01 21:08:01 +0200 | acidjnk_new | (~acidjnk@p200300d6e71c4f7654cd17dc22dc88eb.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-01 21:04:01 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-01 21:03:36 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 244 seconds) |
| 2025-05-01 21:03:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-01 21:03:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |