如何检查，如果一个代数类型在Haskell列表中的所有元素？

Question

如果我有以下代数数据类型

type MyVal = Either String Int

并且有一个包含MyVal类型元素的列表

ls = [Right 1, Right 2, Right 3]
xs = [Right 1, Left "error", Right 3]

现在，我想让write函数找出我的列表中所有的值都是‘Right’，然后它应该返回True，否则返回False。

在ls的情况下，它将返回True；而对于xs的情况，它将返回False。

我该怎么做？

我试过使用all功能，但无法正确使用。

Answer 1

您可以使用isRight:：a或b-

因此，您可以通过以下方式实现：

import Data.Either(isRight)

allRight :: Foldable f => f (Either a b) -> Bool
allRight = all isRight

这为我们提供了预期的输出：

Prelude Data.Either> allRight ls
True
Prelude Data.Either> allRight xs
False

Answer 2

我不否认这一切都是正确的，作为对所问问题的一个很好的回答，我会在某种程度上质疑这个问题。作为Bool，计算列表中的所有或值是否都是正确的，有什么好处？它能让你做什么？一个答案是，它允许您从整个列表中删除Right标记，将整个列表视为无错误。

一个信息更丰富的选项可能是构造某种类型的东西

[Either String Int] -> Either String [Int]

这样，您就可以获得所有未标记的Ints或与第一个讨厌的左相关联的消息，而不仅仅是True或False。

有一个标准函数可以做到这一点（以及其他许多事情）。它利用了这样一个事实，即列表是一种具有标准遍历模式的数据结构，任一字符串都编码了错误管理计算的概念，具有标准的失败和成功传播模式。这类人已经完成了艰苦的工作。你只需要说。。。

sequenceA