从runDb中捕捉异常

Question

这是我之前发布的后续内容。 MaybeT and Transactions in runDb

我认为这将是一件简单的事情，但我一直试图弄清楚这一点，并且还没有取得很大进展。所以我以为我会放弃和问！

我刚刚添加了一个try函数（从Control.Exception.Lifted）到我以前的代码，我无法得到输入检查的代码。像catch和handle等变体也有类似的问题。

eauth <- LiftIO (
      try(runDb $ do 
       ma <- runMaybeT $ do 
        valid <- ... 
       case ma of 
        Just a -> return a 
        Nothing -> liftIO $ throwIO MyException 
      ) :: IO (Either MyException Auth) 
     ) 
case eauth of 
    Right auth -> return auth 
    Left _  -> lift $ left err400 { errBody = "Could not create user"} 

我runDb看起来像这样（我也尝试了变种，我删除liftIO）：

runDb query = do 
    pool <- asks getPool 
    liftIO $ runSqlPool query pool 

我得到这个错误：

No instance for (Control.Monad.Reader.Class.MonadReader Config IO) 
    arising from a use of ‘runDb’ 
In the expression: runDb 
In the first argument of ‘try’, namely 
    ‘(runDb 
    $ do { ma <- runMaybeT ... 

我的仆人处理程序内运行，我的退货类型为AppM Auth，其中

type AppM = ReaderT Config (EitherT ServantErr IO) 

我已经尝试过许多提升组合，但似乎没有帮助。我想我会借此机会从头开始弄清楚事情，并且我也打了一堵墙。如果有人能够提出你是如何得出答案的，那对我来说将是非常有益的。

这一直是我的思维过程：

1. 我看到runSqlConn :: MonadBaseControl IO m => SqlPersistT m a -> Connection -> m a
2. 所以这似乎暗示这将是在IO单子，这意味着try应该工作
3. 我想检查的定义MonadBaseControl其中有class MonadBase b m => MonadBaseControl b m | m -> b。在这一点上我很困惑。这种功能依赖逻辑似乎是建议类型m规定了什么b将是，但在前一个b被指定为IO。
4. 我检查了MonadBase，那也没有给我任何线索。
5. 我查了SqlPersistT，也没有找到线索。
6. 我将这个问题简化为一些非常简单的问题，例如result <- liftIO (try (evaluate (5 `div` 0)) :: IO (Either SomeException Int))，这很有效。所以我现在更困惑了。不是runDb在IO工作，所以不应该是我的原代码相同的东西工作？

我想我可以通过回溯来弄清楚这一点，但好像我的Haskell知识水平不足以解决问题的根源。欣赏人们是否可以逐步提供指针以达成正确的解决方案。

谢谢！

Answer 1

为try一般类型签名：

(MonadBaseControl IO m, Exception e) => m a -> m (Either e a) 

为try特殊类型的签名（因为它出现在你的代码）：

IO Auth -> IO (Either MyException Auth) 

所以，一元值是参数try有类型：

IO Auth 

Ev上面列出的东西，你可能已经明白了。如果我们看一下类型签名为您runDb，我们得到这样的：

runDb :: (MonadReader Config m, MonadIO m) => SqlPersistT m a -> m a 

我有点猜，因为你没有提供类型签名，但这是它可能是什么。所以现在，问题应该更清楚一点。您正尝试使用runDb为应该在IO之内的东西创建一个monadic值。但IO不符合您需要的MonadReader Config实例。

为了使错误更加清晰，我们让runDb更单变。你可以给它这种类型的签名：

type AppM = ReaderT Config (EitherT ServantErr IO) 
runDb :: SqlPersistT AppM a -> AppM a 

现在，如果你试图编译代码，你会得到一个更好的错误。而是告诉你

No instance for (Control.Monad.Reader.Class.MonadReader Config IO) 

的它会告诉你，IO不匹配AppM（虽然它可能会扩大型代名词）。实际上，这意味着你无法从IO中奇迹般地获得共享的数据库连接池。你需要遍布各处的ReaderT Config。

我能想到会的最简单的解决是停止使用的例外，他们没有必要：

mauth <- runDb $ runMaybeT $ do 
      ... -- Same stuff you were doing earlier 
case mauth of 
    Just auth -> return auth 
    Nothing -> lift $ left err400 { errBody = "Could not create user"}