Ogólna serializacja w Haskell

Question

Otrzymuję ten błąd podczas próby deserializacji obiektu.

Amy64.hs: GetException "too few bytes\nFrom:\tdemandInput\n\n" 

Plik wyjściowy jest tworzony, a wygląda to tak:

00000000 1f 8b 08 00 00 00 00 00 04 03 63 60 00 03 56 a7 |..........c`..V.| 
00000010 d2 f4 e2 4a 00 be b2 38 41 0d 00 00 00   |...J...8A....| 

podejrzewam ja nieprawidłowo stosując rzeczy nowych leków generycznych. Oto mój kod. Nawiasem mówiąc, jeśli usunę linie 9, 22 i 23, otrzymam taki sam wynik. I jeśli usunę gzip/ungzip, otrzymam ten sam rezultat.

{-# LANGUAGE DeriveGeneriC#-} 

import Data.Conduit (runResourceT, ($$), (=$)) 
import Data.Conduit.Binary (sinkFile, sourceFile) 
import Data.Conduit.Cereal (sinkGet, sourcePut) 
import Data.Conduit.Zlib (gzip, ungzip) 
import qualified Data.Serialize as DS (Serialize, get, put) 
import GHC.Generics (Generic) 
import Data.Serialize.Derive (derivePut, deriveGet) -- line 9 

readBug :: FilePath -> IO (Either String Bug) 
readBug f = 
    runResourceT $ sourceFile f $$ ungzip =$ sinkGet (DS.get) 

writeBug :: FilePath -> Bug -> IO() 
writeBug f t = 
    runResourceT $ sourcePut (DS.put t) $$ gzip =$ sinkFile f 

data Bug = Bug String deriving (Show, Generic) 

instance DS.Serialize Bug where 
    put = derivePut -- line 22 
    get = deriveGet -- line 23 

main = do 
    let a = Bug "Bugsy" 
    writeBug "x.dat" a 
    (Right b) <- readBug "x.dat" :: IO (Either String Bug) 
    print b 

Answer 1

Okazało się, że mój błąd nie miał nic wspólnego z generics per se. Zły typ podpisu w funkcji readBug powodował, że próbował on odczytać numer Either String Bug zamiast tylko Bug.

{-# LANGUAGE DeriveGeneriC#-} 

import Data.Conduit (runResourceT, ($$), (=$)) 
import Data.Conduit.Binary (sinkFile, sourceFile) 
import Data.Conduit.Cereal (sinkGet, sourcePut) 
import Data.Conduit.Zlib (gzip, ungzip) 
import qualified Data.Serialize as DS (Serialize, get, put) 
import GHC.Generics (Generic) 
import Data.Serialize.Derive (derivePut, deriveGet) -- line 9 

readBug :: FilePath -> IO Bug 
readBug f = 
    runResourceT $ sourceFile f $$ ungzip =$ sinkGet DS.get 

writeBug :: FilePath -> Bug -> IO() 
writeBug f t = 
    runResourceT $ sourcePut (DS.put t) $$ gzip =$ sinkFile f 

data Bug = Bug String deriving (Show, Generic) 

instance DS.Serialize Bug where 
    put = derivePut -- line 22 
    get = deriveGet -- line 23 

main :: IO() 
main = do 
    let a = Bug "Bugsy" 
    writeBug "x.dat" a 
    b <- readBug "x.dat" :: IO Bug 
    print b