1 definition module GenCompress
3 import StdGeneric, StdMaybe
5 :: BitVector :== {#Int}
9 generic gCompress a :: !a -> *CompressSt -> *CompressSt
10 derive gCompress Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}
12 generic gCompressedSize a :: a -> Int
13 derive gCompressedSize Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}
15 generic gUncompress a :: (u:CompressSt -> ((Maybe a),u:CompressSt))
16 derive gUncompress Int, Real, Bool, Char, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, [], {}, {!}
18 compress :: !a -> BitVector | gCompressedSize{|*|} a & gCompress{|*|} a
19 uncompress :: (BitVector -> Maybe a) | gUncompress{|*|} a