haskellのインスタンスとインスタンスの相違点

Question

私はShowクラスのインスタンスを作成しましたが、希望の結果が得られません。私はderiving言葉を使ってショーのクラスのインスタンスを作成しようとした場合、それは動作しますが、同様にしようとした場合：

instance Show (SomeValue v) where 
    show (Null) = "You have no value" 
    show (Justs v) = show (Justs v) 

findKey key = foldr (\(k,v) acc -> if key == k then Justs v else acc) Null 

それは（一種の）非終了ループに入ります。私は、上記のコードに何が問題なのかをderivingという言葉を使って知ると、デフォルトの実装がうまくいくと思いますか？それはコンパイルされますが、何も印刷されません。

このような値を印刷することは可能ですか（「ジャスト」なし）？

instance Show (SomeValue v) where 
    show (Null) = "You have no value" 
    show (Justs v) = show (v) 

Answer 1

コード

show (Justs v) = show (Justs v) 

はない

f x = f x 

同じ理由で無限ループに入ります。あなたが尋ねたとしてあなたはJustsせずにそれを書くことができます

、あなただけのインスタンス

instance (Show v) => Show (SomeValue v) where 
    show Null = "You have no value" 
    show (Justs v) = show v 

上の制約を必要とするあなたはvを表示しようとしている場合ので、vはありません、showableすべきですか？