하스켈의 일반 직렬화

Question

개체를 deserialize하려고하면이 오류가 발생합니다.

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

출력 파일이 생성되며,는 다음과 같습니다

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....| 

내가 잘못 새로운 제네릭 물건을 사용하고 생각한다. 여기 내 코드가있다. 그런데 9, 22, 23 행을 지우면 같은 결과를 얻습니다. 그리고 gzip/ungzip 항목을 제거하면 동일한 결과가 나타납니다.

{-# 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

제 실수는 제네릭 자체와는 아무런 관련이 없습니다. readBug 함수의 잘못된 형식 서명이 Bug 대신 Either String 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