2 Aug
2003
2 Aug
'03
11:04 a.m.
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.