haskell - 具有类型约束的 GADT 的仿函数实例

Question

今天我想研究是否有可能以这种方式构造一个数据类型，它不存储其类型签名的类型的数据，而是存储它的另一种表示。所以，这是我尝试使用类型构造函数为 a 的 GADT。 , 但类型为 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 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 的好处。 s 而不是重复的解码和编码，就像你的情况一样。