haskell - 错误 Monad Transformer 的使用或滥用

Question

背景

我正在使用由一堆转换器构建的 monad，其中一个是 ErrorT。因此，我的 monad 实现了 MonadError 类，而 throwError 是一个有效的语句。我只想在满足特定条件时抛出并出错。我倾向于做以下事情:

if badCondition
  then throwError "You did a bad, bad thing..."
  else return ()
doGoodThings
[...]

对此，我认为我什至可以将其概括为以下几点:

throwErrorWhen :: (MonadError e m) => Bool -> e -> m ()
throeErrorWhen cond err = if cond then throwError e else return ()

事实上，这看起来很明显，我很惊讶它不是 MonadError 库。

问题 :

只有满足某些条件，是否有更好/更正确的方法来引发错误？

Answer 1

when 中有 Control.Monad 函数，如果 bool 值为真，它会评估其第二个参数:

when :: Monad m => Bool -> m () -> m ()

所以你得到，

throwErrorWhen cond e = when cond (throwError e)