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.