I never really grasped what leftovers are. I don't understand why it
wouldn't suffice to have a "pushback pipe"
pushback :: Proxy a b (Either a b) b m r
that allows you to push "unused" 'b's back into it, to be stored in a queue.
The next 'b's then extracted from the pushback pipe will be the ones most
recently pushed in. If the queue is empty then we request a 'b' from the
other end.
Does this make no sense? Are leftovers much more subtle than I am
realising?
Thanks,
Tom
--
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.
