1 Aug
2003
1 Aug
'03
9:17 p.m.
I wrote:
serialize :: (Serializable a) => BlockRecoder a Word8 unserialize :: (Unserializable a) => BlockRecoder Word8 a
... except that as BlockRecoder is currently defined, these won't work unless the type a is Storable also. Oops. They could be done this way instead: serialize :: (Serializable a, InputStream s Word8, InputStream X a) => s -> X unserialize :: (Unserializable a, OutputStream s Word8, OutputStream X a) => s -> X where X is some concrete type. Hope I got that right. (Also, I got the types of filterXputStream wrong: t should be replaced by another concrete type like X.) -- Ben