在“exceptt”计算中处理不同的错误类型

Question

data MyError = Error1 | Error2 | Error3

f :: IO (Either MyErrorType Text)
f = do
  now <- someIoAction

  runExceptT $ do
    x <- note Error1 $ hush LibraryA.f
    y <- ExceptT $ note Error2 . hush <$> LibraryB.IO.f
    z <- ExceptT $ note Error3 . hush <$> LibraryB.IO.g
    pure (x, y, z)

Answer 1

如果您只想处理一次错误，id将IO（Ey a）转换为IO a，使用如下的实用函数：

throwWhenLeft :: Exception e => IO (Either e a) -> IO a
throwWhenLeft io = either throwIO return =<< io

这看起来很危险，但在某些（非常常见的，IMO)情况下是有用的：

• 您必须处理由IO A或某些e A引发/返回的各种异常。
• 异常处理程序的操作几乎总是相同的。