टाइप बाधा के साथ एक जीएडीटी के लिए फंक्टर इंस्टेंस

Question

आज मैं जांच करना चाहता था कि डेटा प्रकार को इस तरह से बनाना संभव है, कि यह अपने प्रकार के हस्ताक्षर के प्रकार को संग्रहीत नहीं करता है, लेकिन इसका एक और प्रतिनिधित्व । तो, यहां एक जीएडीटी का मेरा प्रयास है जिसमें a प्रकार का एक प्रकार का कन्स्ट्रक्टर है, लेकिन ByteString प्रकार का डेटा कन्स्ट्रक्टर है।

{-# 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 का उदाहरण।

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

लेकिन मुझे त्रुटि मिलती है (Serialize बी) को घटाया नहीं जा सकता है। मैं फंक्टर इंस्टेंस को कैसे बाधित कर सकता हूं ताकि Serializefmap में लागू हो सके?

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) 

यह भी स्वचालित रूप से बार-बार decodings के बजाय कई fmap रों और एन्कोडिंग fusing को लाभ मिलता है के रूप में अपने मामले में होगा:

कोड यह रहा।