Text I/O library proposal, first draft

[Glynn Clements]

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>