Haskell читает карту из файла

Question

Я написал карту в файл и теперь пытаюсь выполнить чтение на ней. Это возможно? Один ключ в том, что код написан и читается с помощью ByteString и ByteString.Char8. Я получаю следующее сообщение об ошибке

fromList *** Exception: Prelude.read: no parse 

Мой код выглядит следующим образом:

import qualified Data.ByteString.Char8 as BSC 
import qualified Data.ByteString as BS 
import qualified Data.Map as Map 

type Code = Map.Map Char [Bit] 

writeCode :: FilePath -> Code -> IO() 
writeCode fp tr = BS.writeFile ("code_" ++ fp) 
        (BSC.pack (show (tr :: M.Map Char [Bit]))) 

readCode :: FilePath -> IO Code 
readCode f = do s <- BS.readFile ("code_" ++ f) 
       let s' = BSC.unpack s 
       return (read s' :: Code) 

Answer 1

Проблема заключается в том, что вы переопределить реализацию по умолчанию Show, но полагаться на реализацию по умолчанию Read, который ожидает " Один »или« Ноль », а не« 1 »или« 0 ».

Решение написать собственную реализацию Read (вы можете оставить уравнение и Ord, как это):

import qualified Data.ByteString.Char8 as BSC 
import qualified Data.ByteString as BS 
import qualified Data.Map as Map 

data Bit = One | Zero deriving (Eq,Ord) 

instance Show Bit where 
    show One = "1" 
    show Zero = "0" 

instance Read Bit where 
    readsPrec _ ('1':xs) = [(One, xs)] 
    readsPrec _ ('0':xs) = [(Zero, xs)] 
    readsPrec _ _  = [] 

type Code = Map.Map Char [Bit] 

writeCode :: FilePath -> Code -> IO() 
writeCode fp tr = BS.writeFile ("code_" ++ fp) (BSC.pack (show tr)) 

readCode :: FilePath -> IO Code 
readCode f = do s <- BS.readFile ("code_" ++ f) 
       let s' = BSC.unpack s 
       return (read s' :: Code)