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 ()
...