Newest at the top
| 2025-12-11 23:49:11 +0100 | st_aldini | (~Thunderbi@2605:a601:a07c:7400:7a53:9ab0:188f:494f) (Quit: st_aldini) |
| 2025-12-11 23:46:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 23:45:51 +0100 | Googulator9 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 23:45:49 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 23:44:18 +0100 | takuan_dozo | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-11 23:44:15 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 23:40:49 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-11 23:40:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-11 23:39:13 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything |
| 2025-12-11 23:38:31 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 23:35:03 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-11 23:28:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 23:24:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-11 23:15:51 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 23:15:51 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 23:13:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-11 23:08:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-11 23:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 22:59:03 +0100 | Athas | (athas@sigkill.dk) |
| 2025-12-11 22:58:51 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:e9bb:9c42:9519:597d) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-12-11 22:57:07 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-12-11 22:56:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-11 22:55:23 +0100 | milan | (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-11 22:48:37 +0100 | humasect | (~humasect@192.249.132.90) (Ping timeout: 264 seconds) |
| 2025-12-11 22:47:59 +0100 | <bwe> | thanks, mauke, monochrom, Leary, c_wraith and Zemyla |
| 2025-12-11 22:45:44 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 22:45:35 +0100 | Googulator22 | (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 22:43:09 +0100 | humasect | (~humasect@192.249.132.90) |
| 2025-12-11 22:36:17 +0100 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-12-11 22:29:33 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-11 22:25:38 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-12-11 22:23:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-11 22:14:56 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 22:14:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 22:14:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 22:13:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-11 22:12:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-11 22:06:32 +0100 | <monochrom> | You can furthermore omit the `lift` because ParsercT e s (Reader r) is an instance of MonadReader too. (Generally, ParsecT e s m, if m is an instance of MonadReader). |
| 2025-12-11 22:02:53 +0100 | <bwe> | Leary: wow, that's actually beautiful. |
| 2025-12-11 22:02:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-11 21:59:37 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-11 21:57:41 +0100 | Pixi__ | (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-11 21:56:42 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-11 21:55:46 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-11 21:55:25 +0100 | <Leary> | bwe: I'm not sure what you're asking. Regardless, the way I'd actually recommend goes like so: https://play.haskell.org/saved/8oJlQyYR |
| 2025-12-11 21:51:04 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 21:49:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 21:47:41 +0100 | Wygulmage | (~Wygulmage@user/Wygulmage) Wygulmage |
| 2025-12-11 21:45:32 +0100 | <bwe> | Leary: …you do that with `k (`runReaderT` r)` right? |
| 2025-12-11 21:40:10 +0100 | <Leary> | bwe: Re mixing levels, this <https://play.haskell.org/saved/vdNe7NSH> is one option, but you're probably better off reversing the order of `ReaderT` and `ParsecT`, since that way the only operation you need to `lift` is `ask`. |