Ok, in my latest commit <https://github.com/danidiaz/streaming-eversion/commit/b9423d61cbce0a04c9f6502f89870e88f0dadf3d>, I have implemented transvertM using cat & unseparate, and it seems to work.
I have also simplified how the "inner fold" was handled. I was treating it like a black box and single-stepping it using the Comonad instance, but it's much easier to apply the step function directly to the state. On Thursday, June 16, 2016 at 9:57:14 PM UTC+2, Daniel Díaz wrote: > > > I think that, if you use unseparate > <http://hackage.haskell.org/package/streaming-0.1.4.3/docs/Streaming.html#v:unseparate>on > > cat, you get a stream that, when inspected, alternatively emits output (to > be fed to the "inner" fold) and requests input. But I'm not sure how the > efficient solution using the internal constructors would look like. > -- You received this message because you are subscribed to the Google Groups "Haskell Pipes" group. To unsubscribe from this group and stop receiving emails from it, send an email to haskell-pipes+unsubscr...@googlegroups.com. To post to this group, send email to haskell-pipes@googlegroups.com.
