Newest at the top
| 2025-11-29 22:02:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:51:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-29 21:49:18 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-11-29 21:47:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:45:35 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 240 seconds) |
| 2025-11-29 21:40:47 +0100 | Googulator1 | (~Googulato@84-236-53-137.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-29 21:40:42 +0100 | Googulator92 | (~Googulato@2a01-036d-0106-4ad8-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-11-29 21:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-29 21:36:04 +0100 | trickard_ | (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-11-29 21:33:16 +0100 | trickard | (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-29 21:31:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:28:18 +0100 | <Clint> | __monty__: it indexes them |
| 2025-11-29 21:23:52 +0100 | <[exa]> | o/ |
| 2025-11-29 21:23:50 +0100 | <[exa]> | nvm, time to sleep :D |
| 2025-11-29 21:23:27 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-11-29 21:23:05 +0100 | <[exa]> | here we go https://github.com/haskell-streaming/streaming/pull/130 |
| 2025-11-29 21:21:15 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:20:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-29 21:20:09 +0100 | <int-e> | (And toHandle does the obvious thing: use `hPutStrLn` for each piece received, and execute other effects as they arrive) |
| 2025-11-29 21:19:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-11-29 21:18:42 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-11-29 21:16:47 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-29 21:16:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:15:43 +0100 | <[exa]> | anyway, thanks! |
| 2025-11-29 21:15:39 +0100 | <[exa]> | I'm gonna send them a patch |
| 2025-11-29 21:15:33 +0100 | <[exa]> | yeah |
| 2025-11-29 21:13:50 +0100 | <int-e> | You can still open files beforehand and then use the awkwardly named https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:toHandle |
| 2025-11-29 21:11:45 +0100 | <[exa]> | yeah they now have withFile there, and they'd need unliftIO to make the stuff work inside |
| 2025-11-29 21:11:43 +0100 | <int-e> | Have fun finding the ticket or PR or other rationale for why they changed it. My guess is timely closing of files in the presence of exceptions. |
| 2025-11-29 21:10:37 +0100 | <int-e> | Hmm. I think I'm wrong about the anchor point. Also, look at this older type: https://hackage.haskell.org/package/streaming-0.1.4.5/docs/Streaming-Prelude.html#v:writeFile |
| 2025-11-29 21:07:24 +0100 | <[exa]> | yeah |
| 2025-11-29 21:07:11 +0100 | <int-e> | But `liftIO` will just wrap the effect, right? |
| 2025-11-29 21:06:31 +0100 | <int-e> | Anyway. IIUC it's up to the final consumers (like stdoutLn) to process steps and effects in a timely manner so that GC can kick in and keep memory usage low. Stream's MonadIO instance plays into this as well I guess. |
| 2025-11-29 21:06:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-29 21:06:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-29 21:05:17 +0100 | <[exa]> | ok gooooooooooooood |
| 2025-11-29 21:05:14 +0100 | <[exa]> | which is why it needs generic monad |
| 2025-11-29 21:05:01 +0100 | <[exa]> | the stream is never really split, that S.stdoutLn in the middle literally just converts one half of it to side effects |
| 2025-11-29 21:04:16 +0100 | <[exa]> | I think I understood it on the error here |
| 2025-11-29 21:03:37 +0100 | <int-e> | That's not an issue for S.stdoutLn which just has to grab the global stdout. |
| 2025-11-29 21:03:37 +0100 | [exa] | produces a loud *click* |
| 2025-11-29 21:03:23 +0100 | <[exa]> | wh |
| 2025-11-29 21:03:19 +0100 | <[exa]> | you're right, ah you're right it actually needs MonadIO but it returns a different monad than IO |
| 2025-11-29 21:02:41 +0100 | <int-e> | Inherently so because there's no anchor point for opening the file otherwise. |
| 2025-11-29 21:01:59 +0100 | <int-e> | [exa]: The type of S.writeFile is too restricted. |
| 2025-11-29 21:01:58 +0100 | <[exa]> | (a bit different but essentially the same thing) |
| 2025-11-29 21:01:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-29 21:01:09 +0100 | <[exa]> | try full: S.stdoutLn . S.map ("even:"++) . S.show $ S.stdoutLn . S.show $ separate $ S.maps (S.distinguish even) $ S.each [1..10::Int] |
| 2025-11-29 21:01:03 +0100 | <[exa]> | ah might got hitten by monomorphism |
| 2025-11-29 21:01:01 +0100 | <int-e> | The non-writing parts do work, I guess. |