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 [email protected]. To post to this group, send email to [email protected].
