データ構造を含む派生クラスのインスタンスが使用されていません

Question

私はより多くの異なる型を作成するためにコード内にnewtypeラッパーを使用しています。私はまた、リード/ショーを使って、特に強く型付けされた設定ファイルのシンプルな形式として、たくさんの安価なシリアル化を行います。今日はこのに走った：

例は次のように開始し、私は、アンラップのためにという名前のフィールドと一緒に、のIntをラップアラウンドする簡単なのnewtypeを定義しますから、これらのいずれかを読み取ることが

module Main where 

import Debug.Trace (trace) 
import Text.Read (readEither) 


newtype Bar = Bar { unBar :: Int } 
    deriving Show 

カスタムインスタンス単純なInt構文です。ここでのアイデアは、 "Bar {unBar = 42}"の代わりに "42"を設定ファイルに入れることができれば嬉しいです。

このインスタンスにはトレースがあり、このインスタンスがいつ表示されるかがわかります問題を観察するときに実際に使用されます。

instance Read Bar where 
    readsPrec _ s = [(Bar i, "")] 
     where i = read (trace ("[debug \"" ++ s ++ "\"]") s) 

バーを含む別のタイプ。これは自動的に読み取りを派生させます。

data Foo = Foo { bar :: Bar } 
    deriving (Read, Show) 


main :: IO() 
main = do 

だけでバータイプをデシリアライズすると、正常に動作して

print $ ((readEither "42") :: Either String Bar) 
    putStrLn "" 

上記読むインスタンスを使用しますが、バーを含むいくつかの理由はFooのために、そして自動的に読む派生、ドリルダウンしてピックアップされていませんバーのインスタンス！

print $ ((readEither "Foo { bar = 42 }") :: Either String Foo) 
    putStrLn "" 

のでOK（トレースからのデバッグメッセージがいずれかの表示されていないことに注意してください）、どのようにバーのデフォルトの表示形式については、デフォルトは右読むと一致する必要がありますか？

print $ ((readEither "Foo { bar = Bar { unBar = 42 } }") :: Either String Foo) 

いいえ！どちらもうまくいかない！ここでも、デバッグメッセージはありません。ここで

は実行出力です：

$ stack exec readbug 
    [debug "42"] 
    Right (Bar {unBar = 42}) 

    Left "Prelude.read: no parse" 

    Left "Prelude.read: no parse" 

これは私にはバグだらけに見えるが、私はそれが間違ってやっていることを聞いてみたいです。

上記のコードの完全な使用例があります。ファイルsrc/Main.lhsをtest project on darcshub

Answer 1

に表示してください。問題はReadです。 readsPrecは、Barの後にもう少し多くのものが表示される可能性を考慮する必要があります。 Quoting the Prelude：(<parsed value>, <remaining string>)ペアのリストを返す、文字列の先頭から値を解析する

readsPrec d s試みます。解析が正常に行われなかった場合、返されるリストは空です。あなたのケースでは

、あなたが望む：

instance Read Bar where 
    readsPrec d s = [ (Bar i, s') | (i, s') <- readsPrec d tracedS ] 
     where tracedS = trace ("[debug \"" ++ s ++ "\"]") s 

すると、次のような作品：

ghci> print $ ((readEither "Foo { bar = 42 }") :: Either String Foo) 
[debug " 42 }"] 
Right (Foo {bar = Bar {unBar = 42}}) 

あなたの他の問題、すなわち：

ので、[OK]を、方法についてBarのデフォルトのShowフォームは、デフォルトのRead権限と一致する必要がありますか？

print $ ((readEither "Foo { bar = Bar { unBar = 42 } }") :: Either String Foo) 

あなたのせいです：あなたはread . showアイデンティティ操作ではないとBarなためReadインスタンスを定義しました。 FooがReadを派生した場合、BarのReadインスタンスを使用します（Readを派生させた場合、Barが生成したコードを再生成しようとしません）。