具有不同错误类型的嵌套Either

Question

Either e1 (Either e2 a)

我想要一个函数，该函数可以执行以下操作：

Either e1 (Either e2 a) -> Either e2 a

更一般地说，是否存在与此模式匹配的typeclass？

Answer 1

你所要求的实际上是没有意义的。我们来看看你的功能类型：

f :: Either e1 (Either e2 a) -> Either e2 a

假设这个函数是total（Haskell中的绝大多数函数确实应该是），我们需要为任何类型为e1（e2 a)的输入生成一个类型为e2 a的值。为了尝试并实现这一点，让我们考虑输入可以进入的所有“形状”。

结果表明,e1（e2 a)类型的值可以有三种可能的形状：

Left _
Right (Left _)
Right (Right _)

f (Right x) = x

f (Left x) = ???

g :: e1 -> Either e2 a

f :: (e1 -> e2) -> Either e1 (Either e2 a) -> Either e2 a
f g = either (Left . g) id

import Data.Bifunctor

f :: (e1 -> e2) -> Either e1 (Either e2 a) -> Either e2 a
f g = join . first g

f :: Either e1 (Either e2 a) -> Either (Either e1 e2) a
f = either (Left . Left) (either (Left . Right) Right)

f :: Either e1 (Either e2 a) -> Either (Either e1 e2) a
f (Left x) = Left (Left x)
f (Right (Left x)) = Left (Right x)
f (Right (Right x)) = Right x