haskell - 如何将 traverse 与 exceptT 和 List 一起使用，以便仅当所有项目都为 Left 时才返回 Left？

Question

例如我有这个功能

foo :: Int -> ExceptT String (State Int) Int
foo x = if x == 0 then throwError "x == 0" else return x

如果我使用遍历

evalState (runExceptT $ traverse foo [0,1,2]) 0

返回

Left "x == 0"

但我想要正确的[1,2] 仅当所有列表项均为零时才返回 Left

Answer 1

这是一个关于 traverse 的问题，还是您只想收集不抛出异常的 foo 的结果？

后者的直接方法是在“try-catch” block 中运行 foo 的每次调用，该 block 返回 Maybe Int，然后 catMaybes 列表.

示例:

import Data.Maybe
import Control.Monad
import Control.Monad.Except
import Control.Monad.State

foo :: Int -> ExceptT String (State Int) Int
foo x = if x == 0 then throwError "x == 0" else return x

orNothing p = catchError (fmap return p) (\e -> return Nothing)

collectFoos xs = do ys <- fmap catMaybes $ mapM (orNothing . foo) xs
                    case ys of
                      [] -> throwError "no successful call to foo"
                      _  -> return ys

doit xs = runState (runExceptT (collectFoos xs)) 100