Logs: liberachat/#haskell
| 2026-04-22 09:29:42 | × | davl quits (~davl@207.154.228.18) (Ping timeout: 255 seconds) |
| 2026-04-22 09:31:13 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 09:43:33 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-22 09:47:30 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) |
| 2026-04-22 09:48:35 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 2026-04-22 09:49:04 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2026-04-22 09:50:42 | × | acidjnk_new quits (~acidjnk@p200300d6e700e575659a3cc58dc6913c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-22 09:53:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 09:53:34 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 10:02:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2026-04-22 10:12:27 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 2026-04-22 10:21:45 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 2026-04-22 10:22:25 | → | nmeum_ joins (~nmeum@barium.8pit.net) |
| 2026-04-22 10:24:47 | <nmeum_> | I have a question regarding Control.Monad.Catch: I do exception handling via `catch` in the context of a stateful monad `m`, in the exception handler `(e -> m a)` I want to access information about the state of my monad in which the exception occured. however, the exception handler action is executed in the state of the `catch` caller. how do access the error `m` state? |
| 2026-04-22 10:24:50 | nmeum_ | is now known as nmeum |
| 2026-04-22 10:43:11 | <mauke> | ski: and don't forget YAML |
| 2026-04-22 10:47:16 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2026-04-22 10:48:50 | × | pfc quits (~pfc@user/pfc) (Ping timeout: 248 seconds) |
| 2026-04-22 10:50:15 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-04-22 10:50:32 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-04-22 10:57:43 | <merijn> | nmeum: You do not |
| 2026-04-22 10:58:10 | → | puke joins (~puke@user/puke) |
| 2026-04-22 10:58:24 | <merijn> | nmeum: Or rather, in that scenario you probably just want a Reader of an IORef/MVar to access the state |
| 2026-04-22 11:00:03 | <nmeum> | hm, that would presuppose changing the entire internal state representation of my monad. I think I would rather throw a custom exception which also includes the state or something along those lines then |
| 2026-04-22 11:02:14 | <merijn> | nmeum: The problem is that catch is effectively unwrapping/rewrapping the stack, and there's no general way to make e.g. `StateT` handler that |
| 2026-04-22 11:04:00 | <merijn> | nmeum: i.e. imagine `StateT s (EitherT e IO) a`, it ends up doing `runStateT` + `runEitherT` to turn it into `IO (Either e (s, a))` and then rewrapping that. But if the EitherT (or MaybeT) early aborts you don't get a state to return. |
| 2026-04-22 11:04:21 | <nmeum> | yea, makes sense |
| 2026-04-22 11:15:33 | → | tv joins (~tv@user/tv) |
| 2026-04-22 11:17:39 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-22 11:19:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:a57a:c3e:71fc:8409) |
| 2026-04-22 11:21:08 | → | craunts795335385 joins (~craunts@152.32.100.66) |
| 2026-04-22 11:24:36 | <ski> | mm, YAML is unrelated |
| 2026-04-22 11:24:53 | <ski> | @unmtl StateT s (EitherT e IO) a |
| 2026-04-22 11:24:53 | <lambdabot> | s -> EitherT e IO (a, s) |
| 2026-04-22 11:25:07 | <ski> | @unmtl StateT s (ExceptT e IO) a |
| 2026-04-22 11:25:07 | <lambdabot> | s -> IO (Either e (a, s)) |
| 2026-04-22 11:25:38 | <ski> | @unmtl ExceptT e (StateT s IO) a |
| 2026-04-22 11:25:38 | <lambdabot> | s -> IO (Either e a, s) |
| 2026-04-22 11:26:28 | <ski> | @unmtl StateT s (MaybeT IO) a |
| 2026-04-22 11:26:28 | <lambdabot> | s -> IO (Maybe (a, s)) |
| 2026-04-22 11:26:35 | <ski> | @unmtl MaybeT (StateT s IO) a |
| 2026-04-22 11:26:36 | <lambdabot> | s -> IO (Maybe a, s) |
| 2026-04-22 11:29:55 | × | confusedalex quits (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2026-04-22 11:42:28 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 11:54:19 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:a164:435b:6188:a364) |
| 2026-04-22 11:54:19 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:a164:435b:6188:a364) (Changing host) |
| 2026-04-22 11:54:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-22 11:54:43 | × | aka_dude quits (~aka_dude@192.71.166.120) (Quit: Gateway shutdown) |
| 2026-04-22 11:55:42 | → | aka_dude joins (~aka_dude@2a03:f80:30:f490::1) |
| 2026-04-22 11:58:40 | → | tremon joins (~tremon@83.80.159.219) |
| 2026-04-22 12:00:52 | × | aka_dude quits (~aka_dude@2a03:f80:30:f490::1) (Quit: Gateway shutdown) |
| 2026-04-22 12:01:43 | → | aka_dude joins (~aka_dude@2a03:f80:30:f490::1) |
| 2026-04-22 12:04:41 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 2026-04-22 12:04:48 | × | gAy_Dragon quits (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2026-04-22 12:05:02 | → | A_Dragon joins (A_D@libera/staff/dragon) |
| 2026-04-22 12:32:33 | → | weary-traveler joins (~user@user/user363627) |
| 2026-04-22 12:37:02 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 12:51:07 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 12:56:59 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 13:00:16 | → | hsw joins (~hsw@106.104.103.195) |
| 2026-04-22 13:08:25 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 13:24:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2026-04-22 13:25:14 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) |
| 2026-04-22 13:28:37 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 13:29:30 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-22 13:35:27 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-22 13:42:39 | → | misterfish joins (~misterfis@37-74-4-201.biz.kpn.net) |
| 2026-04-22 13:54:27 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2026-04-22 13:54:41 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2026-04-22 14:00:31 | → | danza joins (~danza@user/danza) |
| 2026-04-22 14:05:35 | A_Dragon | is now known as gAy_Dragon |
| 2026-04-22 14:20:51 | × | misterfish quits (~misterfis@37-74-4-201.biz.kpn.net) (Ping timeout: 255 seconds) |
| 2026-04-22 14:27:28 | → | misterfish joins (~misterfis@145.15.244.231) |
| 2026-04-22 14:41:33 | × | CiaoSen quits (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2026-04-22 14:43:47 | × | tromp quits (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 14:44:51 | × | Googulator quits (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 14:45:12 | → | Googulator joins (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 14:45:40 | × | danza quits (~danza@user/danza) (Remote host closed the connection) |
| 2026-04-22 14:51:53 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-04-22 14:58:06 | → | emaczen joins (~user@user/emaczen) |
| 2026-04-22 15:06:57 | → | tromp joins (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 15:07:33 | × | misterfish quits (~misterfis@145.15.244.231) (Ping timeout: 246 seconds) |
| 2026-04-22 15:09:25 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 2026-04-22 15:14:26 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-04-22 15:17:52 | → | Guest43 joins (~Guest43@p200300dcb73c46000040a0829b6a9131.dip0.t-ipconnect.de) |
| 2026-04-22 15:22:36 | × | Guest43 quits (~Guest43@p200300dcb73c46000040a0829b6a9131.dip0.t-ipconnect.de) (Client Quit) |
| 2026-04-22 15:38:05 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-22 15:43:45 | × | kimiamania40 quits (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-04-22 15:44:33 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2026-04-22 15:44:36 | → | kimiamania40 joins (~67ff9c51@user/kimiamania) |
| 2026-04-22 15:48:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-04-22 15:50:53 | × | kimiamania40 quits (~67ff9c51@user/kimiamania) (Quit: PegeLinux) |
| 2026-04-22 15:52:09 | → | kimiamania40 joins (~67ff9c51@user/kimiamania) |
| 2026-04-22 15:55:54 | × | vgtw quits (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 16:13:58 | × | puke quits (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-22 16:21:26 | → | vgtw joins (~vgtw@user/vgtw) |
| 2026-04-22 16:25:22 | <gentauro> | .cabal files are YAML right? |
| 2026-04-22 16:25:51 | × | jle` quits (~jle`@2603:8001:3b00:11:4360:f9b:cc52:4598) (Ping timeout: 272 seconds) |
| 2026-04-22 16:26:00 | <c_wraith> | no |
| 2026-04-22 16:26:08 | → | jle` joins (~jle`@2603:8001:3b00:11:f3e:9fc4:5dc4:9a6) |
All times are in UTC.