Vorrei archiviare il tipo di valore di aeson utilizzando l'acido

Question

Vorrei memorizzare valori di Esos usig acid-store. Ho preso una minima implementazione dell'acido e ho cercato di passare in modo ingenuo i tipi a Value. Queste sono le mie chiamate a deriveSafeCopy:

$(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 e JSONStateStore sono i miei tipi. Ottengo questo errore:

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

Evidentemente hai raggiunto un limite di ciò che la funzione di Haskell deriveSafeCopy Template può fare per voi.

È possibile risolvere il problema fornendo le istanze manualmente. SafeCopy API contiene documenti completi su come farlo. Per ulteriori esempi è possibile consultare how the default instances are declared.

Answer 2

Qui è la mia applicazione per coloro che sono ancora interessati:

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