同時派生Generic和ToJSON？

Question

我有一個模塊Foo.hs其中包含不派生Generic一個定義：

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

而在另一個模塊我想獲得ToJSON：

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

import GHC.Generics 
import Data.Aeson 

instance Generic Blather 
instance ToJSON Blather 

但它不會編譯。如果我在定義站點的Foo.hs中推導出Generic，則我可以稍後在另一個模塊中推導出ToJSON。

我可以在Bar.hs中得出ToJSON Blather而無需修改原始Foo.hs？

或者有沒有簡單的方法手寫instance ToJSON Blather？

Answer 1

啓用StandaloneDeriving並使用deriving instance ...，因爲這並不要求派生與數據類型在同一模塊中。

實施例：

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

import GHC.Generics 
import Data.Aeson 
import Foo 

deriving instance Generic Blather 
deriving instance ToJSON Blather 

main = undefined