YesodAuthEmail 无法推断 m ~ HandlerFor site0

Question

我正在尝试添加

instance YesodAuthEmail App 

到Yesod-Postgres脚手架（是 1.6 版）并陷入编译错误。

相关代码是：

instance YesodAuth App where
     type AuthId App = UserId
     ....
     authPlugins :: App -> [AuthPlugin App]
     authPlugins app = [authOpenId Claimed []] ++ extraAuthPlugins
         where extraAuthPlugins = [ authEmail ]

instance YesodAuthEmail App where
    type AuthEmailId App = UserId

    afterPasswordRoute _ = HomeR

    addUnverified email verkey =
        runDB $ insert $ User email Nothing 

我收到的错误是：

/home/justin/code/yesodemail/src/Foundation.hs:273:11: error:
• Could not deduce: m ~ HandlerFor site0 from the context: MonadAuthHandler App m bound by the type signature for: addUnverified :: Yesod.Auth.Email.Email -> VerKey -> AuthHandler App (AuthEmailId App) ....
Expected type: m (AuthEmailId App) Actual type: HandlerFor site0 (Key User)

根据类型，

getEmail :: AuthEmailId site -> AuthHandler site (Maybe Email) 
type MonadAuthHandler master m = (MonadHandler m, YesodAuth master, master ~ HandlerSite m, Auth ~ SubHandlerSite m, MonadUnliftIO m)
type AuthHandler master a = forall m. MonadAuthHandler master m => m a

我原以为这会编译。我误解了什么？

PS 我已经尝试包含所有相关内容，但完整的 Foundation.hs 位于https://gist.github.com/hyperpape/39d4d2baf67d3bdbdba45a943e7e0425

Answer 1

的类型runDB是：

runDB :: YesodDB site a -> HandlerFor site a 

为了调用它，AuthHandler你需要将它提升到HandlerFor.

如果我没记错的话，这就是liftHandler方法MonadHandler的用途。

如果你runDB用它编写你的电话，它应该可以工作：

addUnverified email verkey =
    liftHandler . runDB $ insert $ User email Nothing

我在这里找到了您问题的详细答案。