今天我想研究是否有可能以这种方式构造一个数据类型,它不存储其类型签名的类型的数据,而是存储它的另一种表示。所以,这是我尝试使用类型构造函数为 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
中强制执行?
最佳答案
您可以使用 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 而不是重复的解码和编码,就像你的情况一样。
关于haskell - 具有类型约束的 GADT 的仿函数实例,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17157579/