haskell - 如何用 Either 数据类型编写 writeFile？

Question

我有一个接受一些参数并返回 IO (Either String String) 的函数， 说

testEither :: Int -> IO (Either String String)
testEither 0 = return (Left "we got an error")
testEither _ = return (Right "everything is ok")

(真实函数从真实世界中获取一些东西并且可能会失败)

我想将该函数的输出发送到 writeFile fileName .预期行为:如果我绑定(bind) testEither 0至 writeFile "test.txt" ，我失败了 Left ... , 如果我用 testEither 1 调用它, 我得到 everything is ok在文件 test.txt .

我猜整个表达式的类型应该是 IO (Either String ()) ，但我可能错了。

Answer 1

您可以使用 ErrorT 1 个 monad 转换器，在 IO 之上为您提供纯粹的错误处理单子(monad):

import Control.Monad.Error

testEither :: Int -> IO (Either String String)
testEither 0 = return (Left "we got an error")
testEither _ = return (Right "everything is ok")

main = runErrorT $ do
    result <- ErrorT $ testEither 0
    lift $ writeFile "test.txt" result

1 ErrorT似乎已替换为 ExceptT 在 mtl 的最新版本中，但功能应该相似。