haskell - 我想使用酸存储 aeson 的值类型

Question

我想使用酸商店存储 aeson Values。我采用了最小的酸实现，并试图天真地将类型切换到值。这些是我对 derivedSafeCopy 的调用：

$(deriveSafeCopy 0 'base ''Object)
$(deriveSafeCopy 0 'base ''Array)
$(deriveSafeCopy 0 'base ''Number)
$(deriveSafeCopy 0 'base ''Value)
$(deriveSafeCopy 0 'base ''JSONState)
$(deriveSafeCopy 0 'base ''JSONStateStore)

JSONState 和 JSONStateStore 是我自己的类型。我收到此错误：

Can't derive SafeCopy instance for: (Data.Aeson.Types.Internal.Object,TyConI (TySynD Data.Aeson.Types.Internal.Object [] (AppT (AppT (ConT Data.HashMap.Base.HashMap) (ConT Data.Text.Internal.Text)) (ConT Data.Aeson.Types.Internal.Value))))

Answer 1

显然，您已经达到了deriveSafeCopyTemplate Haskell 函数可以为您做的事情的极限。

您可以通过手动提供实例来解决此问题。SafeCopy API包含有关如何执行此操作的综合文档。对于其他示例，您可以查看默认实例是如何声明的。

Answer 2

对于那些仍然感兴趣的人，这是我的实现：

-- | ACID

$(deriveSafeCopy 0 'base ''JSONStateStore)
$(deriveSafeCopy 0 'base ''JSONState)
$(deriveSafeCopy 0 'base ''Value)
$(deriveSafeCopy 0 'base ''Number)

-- | An instance of SafeCopy for the Array Value.
instance SafeCopy a => SafeCopy (V.Vector a) where
    getCopy = contain $ fmap V.fromList safeGet 
    putCopy = putCopy . V.toList

-- | An instance of SafeCopy for the Object Value.
instance (SafeCopy a, Eq a, Hashable a, SafeCopy b) => SafeCopy (H.HashMap a b) where
    getCopy = contain $ fmap H.fromList safeGet 
    putCopy = contain . safePut . H.toList