유형 제한이있는 GADT의 Functor 인스턴스

Question

오늘 유형 유형의 데이터를 저장하지 않고 다른 유형의 데이터를 저장하는 것과 같은 방식으로 데이터 유형을 구성 할 수 있는지 조사하고 싶었습니다. . 그래서 여기에 a 타입의 타입 생성자를 가지고 있지만 ByteString 타입의 데이터 생성자를 가진 GADT에 대한 나의 시도가 있습니다.

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

을 그리고 그것은 작동합니다 :

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

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

지금 나는 다음과 같은 방법으로 decode' 기능을 정의 할 수 있습니다

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

내 문제는 내가가 될 Serialized을하고 싶은 것이 지금 Functor의 인스턴스

하지만 (Serialize b) 오류가 발생합니다. 어떻게 Serialize이 fmap에 적용되도록 Functor 인스턴스를 제한 할 수 있습니까?

Answer 1

CoYoneda functor을 사용하면됩니다.

아이디어는 간단합니다. 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의 대신 반복 decodings 및 인코딩 융합의 혜택이 있습니다

여기에 코드입니다.