haskell – 我们如何与2个具有2种不同错误类型的MonadError约束进行交互？

2023年10月30日 150次阅读

说我有一个功能

function1 :: (MonadError String m, MonadIO m) => m Int

function2 :: (MonadError Int m, MonadIO m) => m Int

以及将Int转换为String的函数

renderException :: Int -> String

有没有办法实现function3,它重用了所有3个函数？

function3 :: (MonadError String m, MonadIO m) => m Int
-- add the results from function1, function2 and 
-- transform function2 error into a String

最佳答案 事实证明我可以使用runExceptT：

function3 :: (MonadError String m, MonadIO m) => m Int
function3 =
  do ei <- runExceptT function1
     a  <- either (throwError . show) pure ei
     b  <- function2
     return (a + b)

因此,有一种方法可以摆脱MonadError e“陷阱”.另一方面,我不知道如何封装这个runExcept / throwError模式.

点赞