Yesod持久代码的Typeclass约束

Question

我正在试图理解要将代码放入带有Yesod中持久化的数据库的函数所使用的正确的类型约束。为了使事情具体化，我有一个功能：

addToDbReturnJson obj = do
    runDB $ insert obj
    returnJson obj

我想弄清楚它应该是什么类型的签名。我很确定这应该是

addToDBReturnJson :：(ToJSON val，SomethingPersist val) => val -> Handler值

SomethingPersist应该是什么？我很高兴能被指向解释持久类型的文档，但我无法从Yesod的书中找到它。

Answer 1

这对我来说很管用-

addToDbReturnJson::(ToJSON val, PersistEntity val, 
     (PersistEntityBackend val ~ PersistMonadBackend (YesodDB App)))=>val->Handler Value

不太直观，但在我看来，就像在最后一部分中，您必须指定输入值连接到的数据库与处理程序使用的数据库相同(.)。好吧，我想这是有道理的)。