haskell - 映射到 Either 的左侧

Question

在我的应用程序的某个地方，我收到了Either ParserError MyParseResult来自 Parsec 的消息。在下游，此结果通过使用其他库完成了一些其他解析。在解析的第二阶段，也可能会发生某种错误，我想将其作为 a 传递Left String，但为此我需要将结果从 Parsec 转换为String。为了实现这一点，我需要一个允许我使用函数映射 aLeft的show函数。

我正在考虑的映射函数看起来像这样：

mapLeft :: (a -> b) -> Either a c -> Either b c
mapLeft f (Left x) = Left $ f x
mapLeft _ x = x

但我很惊讶没有在 hackage db 上找到任何匹配的东西。所以现在我怀疑我是否使用了正确的方法来解决我的问题。

为什么标准库中没有这样的功能？我的方法有什么问题？

Answer 1

我们在标准库中有这样的功能，

Control.Arrow.left :: a b c -> a (Either b d) (Either c d)

是对任意箭头的推广。替换(->)并a应用它的中缀，以获得专业化

left :: (b -> c) -> Either b d -> Either c d

原则上您的方法没有错，这是处理这种情况的明智方法。

Answer 2

另一种选择是Bifunctor使用Either. 然后你有

first :: (a -> b) -> Either a c -> Either b c

（也Bifunctor可以用来遍历第一部分(a,b)。）

Answer 3

这可以通过lens轻松完成：

import Control.Lens

over _Left (+1) $ Left 10   => Left 11
over _Left (+1) $ Right 10  => Right 10
over _Right (+1) $ Right 10 => Right 11

Answer 4

另一个简单的选择mapLeft是Data.Either.Combinators：

mapLeft :: (a -> c) -> Either a b -> Either c b