Tôi muốn lưu trữ loại Giá trị của aeson bằng cách sử dụng axit

Question

Tôi muốn lưu trữ aeson Giá trị lưu trữ axit usig. Tôi đã thực hiện một axit tối thiểu và cố gắng để chuyển đổi các loại sang Value. Đây là các cuộc gọi của tôi để lấy đượcSafeCopy:

$(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 và JSONStateStore là các loại của riêng tôi. Tôi gặp lỗi này:

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

Rõ ràng bạn đã đạt đến giới hạn của chức năng deriveSafeCopy Mẫu Haskell có thể làm cho bạn.

Bạn có thể giải quyết vấn đề bằng cách cung cấp các phiên bản thủ công. SafeCopy API chứa tài liệu toàn diện về cách thực hiện điều đó. Để biết thêm ví dụ, bạn có thể xem how the default instances are declared.

Answer 2

Đây là thực hiện của tôi đối với những người vẫn còn quan tâm:

-- | 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