在Vavr合并吗？

Question

我有几个瓦沃尔 任一，我想为每个函数调用一个具有Right值的函数。

Either<MyError, String> either1 = ..
Either<MyError, String> either2 = ..
Either<MyError, String> either3 = ..

Either<MyError, String>> methodRequiringAllInputs(String, String, String) { 
..
}

我当然可以这样做：

either1.flatMap { value1 ->
    either2.flatMap { value2 ->
        either3.flatMap { value3 ->
            methodRequiringAllInputs(value1, value2, value3);
        }
    }
}

但这很难看。在其他语言中，你只需使用类似do-表示法或理解的东西就可以使结构变平。我知道Vavr有一个验证的概念，它是一个应用程序函子，允许您这样做：

Validation<MyError, String> validation1 = ..
Validation<MyError, String> validation2 = ..
Validation<MyError, String> validation3 = ..

Validation.combine(validation1, validation2, validation3)
          .ap((validationValue1,validationValue2,validationValue3) -> .. );  

好得多。

我的问题是，在Vavr中是否存在类似的东西，以避免嵌套的flatMap结构？请注意，我不想将Either转换为Validation。

Answer 1

vavr中有一个用于理解的结构，您可以在用例中使用它。它帮助您将多个Iterable、Option、Try、Future或List实例分别转换为另一个Iterator、Option、Try、Future或List实例，方法是将它们(作为笛卡尔产品的行)组合成结果值。

在您的示例中，Either是正确值的Iterable，您可以使用Iterable的For构造来构造String权限值的Tuple3，并通过调用副作用代码或以任何您想要的方式映射/转换代码来迭代生成的Iterator。您将拥有一个丰富的vavr Iterator，因此这比简单的JDK Iterator灵活得多。

import static io.vavr.API.For;

For(either1, either2, either3)
    .yield(Tuple::of)
    .forEach(t -> methodRequiringAllInputs(t._1, t._2, t._3));

不过，有一点要注意:在上述情况下，yield的结果是一个评估迟缓的Iterator。这意味着您最终需要对其进行迭代，以便执行效果，因此forEach部分是必不可少的。您不能将附带影响的代码移动到yield部件中并跳过forEach，因为只有在迭代生成的Iterator时才会(懒惰地)执行yield部分。