Logs: liberachat/#haskell
| 2025-12-11 20:32:25 | <bwe> | f xs = (_ . map returnsSomeReader $ xs) :: [Text] -> Reader Config [Result] -- how do I transform [Reader Config Result] to `Reader Config [Result]`? |
| 2025-12-11 20:32:58 | <monochrom> | Does `sequence` do what you want? |
| 2025-12-11 20:33:43 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 20:35:00 | <mauke> | :t sequence |
| 2025-12-11 20:35:01 | <lambdabot> | (Traversable t, Monad m) => t (m a) -> m (t a) |
| 2025-12-11 20:35:11 | <mauke> | :t traverse |
| 2025-12-11 20:35:12 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2025-12-11 20:35:40 | <bwe> | My intuition led me to traverse :). |
| 2025-12-11 20:36:18 | <mauke> | :t \f -> sequence . map f |
| 2025-12-11 20:36:18 | <lambdabot> | Monad m => (a1 -> m a2) -> [a1] -> m [a2] |
| 2025-12-11 20:36:39 | <mauke> | :t \f -> sequenceA . map f |
| 2025-12-11 20:36:40 | <lambdabot> | Applicative f => (a1 -> f a2) -> [a1] -> f [a2] |
| 2025-12-11 20:38:10 | → | AlexNoo joins (~AlexNoo@85.174.180.40) |
| 2025-12-11 20:40:10 | <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`. |
| 2025-12-11 20:45:32 | <bwe> | Leary: …you do that with `k (`runReaderT` r)` right? |
| 2025-12-11 20:47:41 | → | Wygulmage joins (~Wygulmage@user/Wygulmage) |
| 2025-12-11 20:49:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 20:51:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 20:55:25 | <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 20:55:46 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 2025-12-11 20:56:42 | → | Square joins (~Square4@user/square) |
| 2025-12-11 20:57:41 | × | Pixi__ quits (~Pixi@user/pixi) (Quit: Leaving) |
| 2025-12-11 20:59:37 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-12-11 21:02:13 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-12-11 21:02:53 | <bwe> | Leary: wow, that's actually beautiful. |
| 2025-12-11 21:06:32 | <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 21:12:15 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-11 21:13:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 21:14:26 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 21:14:38 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 21:14:56 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 21:23:19 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-11 21:25:38 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-12-11 21:29:33 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-11 21:36:17 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-12-11 21:43:09 | → | humasect joins (~humasect@192.249.132.90) |
| 2025-12-11 21:45:35 | × | Googulator22 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 21:45:44 | → | Googulator22 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 21:47:59 | <bwe> | thanks, mauke, monochrom, Leary, c_wraith and Zemyla |
| 2025-12-11 21:48:37 | × | humasect quits (~humasect@192.249.132.90) (Ping timeout: 264 seconds) |
| 2025-12-11 21:55:23 | × | milan quits (~milan@88.212.61.169) (Quit: WeeChat 4.5.2) |
| 2025-12-11 21:56:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 21:57:07 | × | michalz quits (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2025-12-11 21:58:51 | × | Athas quits (athas@2a01:7c8:aaac:1cf:e9bb:9c42:9519:597d) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-12-11 21:59:03 | → | Athas joins (athas@sigkill.dk) |
| 2025-12-11 22:01:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 22:08:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 22:13:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-11 22:15:51 | → | Googulator7 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 22:15:51 | × | Googulator22 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 22:24:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 22:28:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 22:35:03 | × | Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 272 seconds) |
| 2025-12-11 22:38:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-11 22:39:13 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2025-12-11 22:40:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 22:40:49 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-11 22:44:15 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-11 22:44:18 | × | takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-12-11 22:45:49 | × | Googulator7 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-11 22:45:51 | → | Googulator9 joins (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) |
| 2025-12-11 22:46:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 22:49:11 | × | st_aldini quits (~Thunderbi@2605:a601:a07c:7400:7a53:9ab0:188f:494f) (Quit: st_aldini) |
| 2025-12-11 22:56:35 | × | sindu quits (~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds) |
| 2025-12-11 22:58:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 22:59:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-11 23:00:30 | jmcantrell_ | is now known as jmcantrell |
| 2025-12-11 23:02:12 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2025-12-11 23:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-11 23:04:06 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-11 23:10:10 | × | xff0x quits (~xff0x@2405:6580:b080:900:bfb6:36fd:6718:66b7) (Ping timeout: 246 seconds) |
| 2025-12-11 23:12:33 | → | yin joins (~zero@user/zero) |
| 2025-12-11 23:14:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 23:14:52 | → | xff0x joins (~xff0x@2405:6580:b080:900:bfb6:36fd:6718:66b7) |
| 2025-12-11 23:18:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 23:21:35 | × | yin quits (~zero@user/zero) (Remote host closed the connection) |
| 2025-12-11 23:21:51 | → | yin joins (~zero@user/zero) |
| 2025-12-11 23:26:29 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2025-12-11 23:28:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 23:30:51 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2025-12-11 23:30:51 | ChanServ | sets mode +v haskellbridge |
| 2025-12-11 23:33:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-11 23:34:12 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-11 23:36:59 | → | tromp joins (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) |
| 2025-12-11 23:39:31 | × | tccq quits (~user@user/tccq) (Remote host closed the connection) |
| 2025-12-11 23:39:50 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2025-12-11 23:40:42 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-11 23:44:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-11 23:48:17 | × | tromp quits (~textual@2001:1c00:3487:1b00:dd4:56d:fd02:60e2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-11 23:49:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-11 23:53:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-12-11 23:56:24 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-12-12 00:00:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 00:05:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 00:16:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 00:22:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 00:34:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-12 00:36:04 | × | tjbc quits (~tjbc@user/fliife) (Ping timeout: 260 seconds) |
| 2025-12-12 00:38:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-12 00:45:42 | × | Googulator9 quits (~Googulato@2a01-036d-0106-01cb-8583-2a78-a55c-bee5.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.