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

显然你已经达到了 deriveSafeCopy 的限制。模板 Haskell 函数可以为你做。

您可以通过手动提供实例来解决此问题。 SafeCopy API包含有关如何执行此操作的综合文档。有关其他示例，您可以查看 how the default instances are declared .