Raw I/O library proposal, second (more pragmatic) draft

Sven Panne Sven.Panne@informatik.uni-muenchen.de
Sat, 02 Aug 2003 17:04:37 +0200


Ben Rudiak-Gould wrote:
> Now that I think about it, we should parameterize these classes over the
> input/output data type also. Then we could have
> 
>   filterInputStream ::
>     (Storable a, Storable b, InputStream s a, InputStream t b) =>
>       BlockRecoder a b -> s -> t
> 
>   filterOutputStream ::
>     (Storable a, Storable b, OutputStream s a, OutputStream t b) =>
>       BlockRecoder b a -> s -> t
> [...]

But this is not Haskell98 anymore, which would be a bad thing for general
library IMHO. NHC98 doesn't support MPTCs, so I guess Malcolm will be unhappy
with this design, too...
:-)

Cheers,
    S.