Haskell:多个文件上的酸性状态

Question

我有这样的文件结构：

--- Database.hs ---
data Database = ...
...
--- User.hs ---
import Database
addUser :: Update Database ()
...
--- Post.hs
import Database
addPost :: Update Database ()
...

问题是，我需要在User.hs和Post.hs中调用makeAcidic ''Database [...]，以使它们的函数酸性，但makeAcidic同时为Database生成IsAcidic实例，因此GHC抱怨重复的实例声明。

Answer 1

好的，所以我想明白了。只需使用模板Haskell:分离定义即可

--- Database/Types.hs ---
data Database = ...
...
--- Database.hs ---
import Database.Types
import User
import Post
makeAcidic ''Database [addUser, addPost]
--- User.hs ---
import Database.Types
addUser :: Update Database ()
...
--- Post.hs ---
import Database.Types
addPost :: Update Database ()
...