mongodb - 对于这个函数， "return Left"在IO的情况下是什么意思？

Question

在Database.MongoDB.Query ，有这个函数:

access :: MonadIO m => Pipe -> AccessMode -> Database -> Action m a -> m a

文档是这样描述函数的:

Run action against database on server at other end of pipe. Use access mode for any reads and writes. Return Left on connection failure or read/write failure.

• 这里的“向左返回”是什么意思？我问是因为 m 可以是任何 monad(带有 MonadIO 实例)。例如，如果 m 只是 IO monad，“return Left”是什么意思？
• m 必须是 Either monad 才能让我在使用 access 方法时检测到连接或读/写失败？

Answer 1

是的。是一种类型。 Return Left 来自旧版本。如果发生任何错误，它只会抛出 IO 异常。我们需要修复它。我为它提交了一个错误。 https://github.com/mongodb-haskell/mongodb/issues/67