タイプ制約を持つGADTのFunctorインスタンス

Question

今日、タイプシグネチャタイプのデータを格納しないようにデータタイプを構築することが可能かどうかを調べたいと思っていましたが、 。ですから、ここにはタイプコンストラクタがaであるが、タイプがByteStringのデータコンストラクタを持つGADTの試みがあります。

{-# LANGUAGE GADTs #-} 
import Data.ByteString.Char8 
import Data.Serialize 

data Serialized a where 
    MkSerialized :: (Serialize a) => ByteString -> Serialized a 

今、私は次のようにdecode'関数を定義することができます

decode' :: (Serialize a) => Serialized a -> a 
decode' (MkSerialized bs) = let Right r = (decode bs) in r 

そして、それは動作します：

let s = MkSerialized (encode "test") :: Serialized String 
print $ decode' s  -- prints "test" 

私の問題は、私はSerializedがなりたいということになりましたFunctorのインスタンス。

しかし、私はエラー（Serialize b）を推測できません。 Functorインスタンスを制約して、Serializeがfmapに適用されるようにするにはどうすればよいですか？

Answer 1

CoYonedaファンクタを使用してこれを行うことができます。

アイデアは単純です：機能を蓄積するための追加の機能フィールドがあります。fmap機能を追加してください。あなたの価値をデコードするときは、その関数を適用します。あなたのケースになりますよう、

{-# LANGUAGE GADTs #-} 
import Data.ByteString.Char8 
import Data.Serialize 

data Serialized a where 
    MkSerialized 
     :: (Serialize a) 
     => ByteString -> (a -> b) -> Serialized b 

decode' :: Serialized a -> a 
decode' (MkSerialized bs f) = let Right r = decode bs in f r 

instance Functor Serialized where 
    fmap f (MkSerialized bs g) = MkSerialized bs (f . g) 

また、これは自動的に複数のfmapの代わりに繰り返しデコーディングとエンコーディングを融合する利点を有する：

は、ここでは、コードです。