haskell - `(a -> m (Either e b)) -> Either e a -> m (Either e b)` 的一元函数？

Question

有没有办法以更“单子(monad)”的方式编写这个函数，而不是在 Either 上使用模式匹配？

{-# LANGUAGE LambdaCase #-}

calculate :: (Monad m) => (a -> m (Either e b)) -> Either e a -> m (Either e b)
calculate f = \case
  Left err   -> return $ Left err
  Right vals -> f vals

具体来说，对于我的用例，m 是 IO； f 是一个函数，它接受输入并产生一些 IO 效果或失败，输入是可能已经失败的东西。

也许使用 ExceptT？

Answer 1

是的，看起来像 ExceptT大部头书。虽然我可能不会使用带有此签名的函数——相反，我会使用 ExceptT更广泛地说，然后这个函数就是 (=<<) .当然，这是基于用例的猜测。

但如果你必须:

calculate :: (Monad m) => (a -> m (Either e b)) -> Either e a -> m (Either e b)
calculate f m = runExceptT (ExceptT . f =<< ExceptT m)