Newest at the top
| 2025-12-11 21:03:59 +0100 | <bwe> | lift ... then is adding another layer of Reader to Parser so it matches up to the expected type |
| 2025-12-11 21:03:54 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-11 21:03:08 +0100 | <c_wraith> | that's... the *sole* operation specific to monad transformers |
| 2025-12-11 21:02:41 +0100 | <lambdabot> | (MonadTrans t, Monad m) => m a -> t m a |
| 2025-12-11 21:02:40 +0100 | <c_wraith> | :t lift |
| 2025-12-11 21:00:33 +0100 | <bwe> | Zemyla: Do I want in this case something like `liftIO` but for Reader context? |
| 2025-12-11 20:59:33 +0100 | <haskellbridge> | <Zemyla> Or else use a typeclass that lifts it automatically. |
| 2025-12-11 20:59:18 +0100 | <haskellbridge> | <Zemyla> It's operating in the Reader context, and if you want to run a Parser value, you need to lift it. |
| 2025-12-11 20:57:33 +0100 | <bwe> | ks through some examples of this kind? |
| 2025-12-11 20:57:33 +0100 | <bwe> | Reader & ReaderT: I've now grasped the concept of hiding an (read only) input argument within Reader. Also it's straightforward to have a nested structure of functions that propagate this way the argument to the terminal function. What causes frustration right now is: `ReaderT ReadArg Parser Result` when is which bind operator (`<-`) working in which context (and what does it expect), i.e. ReaderT or Parser? -- Can you recommend a tutorial / paper that wal |
| 2025-12-11 20:50:59 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-11 20:50:31 +0100 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2025-12-11 20:47:07 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-11 20:46:27 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 20:42:53 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-12-11 20:42:30 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-12-11 20:35:59 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-11 20:32:48 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-12-11 20:31:46 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2025-12-11 20:31:28 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-11 20:30:51 +0100 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 20:30:48 +0100 | Googulator58 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 20:29:00 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-12-11 20:24:49 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-11 20:24:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-11 20:23:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-11 20:20:28 +0100 | yin | (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-11 20:16:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-11 20:15:43 +0100 | tabaqui1 | (~tabaqui@167.71.80.236) (Ping timeout: 240 seconds) |
| 2025-12-11 20:14:21 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-11 20:06:47 +0100 | kuribas | (~user@2a02:1808:cd:df9d:3fd8:99c:a12:7c8) kuribas |
| 2025-12-11 20:05:36 +0100 | ss4 | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-12-11 20:03:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-11 20:03:05 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-11 20:02:25 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-11 20:01:30 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-11 20:01:09 +0100 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) |
| 2025-12-11 20:01:02 +0100 | Googulator | (~Googulato@87-97-86-146.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 19:58:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-11 19:57:28 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-11 19:57:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-11 19:50:57 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2025-12-11 19:45:28 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-12-11 19:45:22 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-12-11 19:43:27 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-11 19:43:13 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-11 19:42:04 +0100 | kuribas | (~user@2a02:1808:cd:df9d:1dcb:cff3:20e8:95d8) (Ping timeout: 246 seconds) |
| 2025-12-11 19:38:35 +0100 | raym | (~ray@user/raym) raym |
| 2025-12-11 19:36:55 +0100 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2025-12-11 19:31:10 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |