Text I/O library proposal, first draft

Glynn Clements glynn.clements@virgin.net
Fri, 1 Aug 2003 06:03:57 +0100

Ben Rudiak-Gould wrote:

> module System.TextIOFirstDraft (...) where
> -- A BlockRecoder takes source and destination buffers and does some sort
> -- of translation between them. It returns the number of values (not
> -- bytes!) consumed and the number of values produced. It does not have to
> -- empty the input buffer or fill the output buffer on each call, but it
> -- must do something (i.e. it's not acceptable to return (0,0)). Coders
> -- will in general have internal state which is updated on each call.

It would be preferable if this wasn't all within the IO monad. It
shouldn't be necessary, even for stateful encodings.

Glynn Clements <glynn.clements@virgin.net>