dériver Generic et ToJSON en même temps?

Question

J'ai un module Foo.hs qui contient une définition qui ne dérive pas Generic:

-- Foo.hs 
data Blather = Blather ... -- Generic not derived here 

Et dans un autre module Je veux tirer ToJSON:

-- Bar.hs 
{-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} 

import GHC.Generics 
import Data.Aeson 

instance Generic Blather 
instance ToJSON Blather 

mais il ne compile pas. Si je dérive générique dans Foo.hs sur le site de définition, je peux plus tard dériver ToJSON dans un autre module.

Puis-je dériver ToJSON Blather dans Bar.hs sans modifier l'original Foo.hs?

Ou existe-t-il un moyen simple d'écrire instance ToJSON Blather à la main?

Answer 1

Activez StandaloneDeriving et utilisez deriving instance ... car cela ne nécessite pas que la dérivation se trouve dans le même module que le type de données.

Exemple:

{-# LANGUAGE DeriveGeneric, StandaloneDeriving, DeriveAnyClass #-} 

import GHC.Generics 
import Data.Aeson 
import Foo 

deriving instance Generic Blather 
deriving instance ToJSON Blather 

main = undefined