Instancja Functor dla GADT z ograniczeniem typu

Question

Dzisiaj chciałem zbadać, czy możliwe jest skonstruowanie typu danych w taki sposób, aby nie przechowywać danych typu typu jego sygnatury, ale inną reprezentację tego typu . Oto moja próba GADT, który ma typ konstruktora typu a, ale konstruktora danych typu ByteString.

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

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

Teraz mogę zdefiniować decode' funkcję w następujący sposób:

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

I to działa:

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

Mój problem jest teraz, że chciałbym być Serialized wystąpienie Functor.

instance Functor Serialized where 
    fmap f (MkSerialized bs) = MkSerialized (encode (f (right (decode bs)))) 
           where right (Right r) = r 

Ale pojawia się błąd (Serialize b) nie można wywnioskować. W jaki sposób można ograniczyć instancję Functor, aby Serialize została wymuszona w ?

Answer 1

Możesz to zrobić, używając CoYoneda functor.

Pomysł jest prosty: posiadać dodatkowe pole funkcjonalne, w którym można gromadzić swoje funkcje . Kiedy dekodujesz swoją wartość, zastosuj tę funkcję.

Oto kod:

{-# 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) 

Ma to również korzyści automatycznie fuzję stwardnienie fmap S zamiast powtarzających dekodowania i kodowania, jak będzie w Twoim przypadku.