Question

我写了这段代码

def valid1() : Validated[List[String], Boolean] = {...}
def valid2() : Validated[List[String], Boolean] = {...}
def valid3() : Validated[List[String], Boolean] = {...}
def valid4() : Validated[List[String], Boolean] = {...}
val consolidated = valid1 |@| valid2 |@| valid3 |@| valid4
consolidated.map{_ && _ && _ && _} match {
  case Valid(true) => // do something
  case Invalid(errorList) => // do something
}

而不是在每个中间验证上执行|@|并在地图中执行&& ...我可以用更简单的方式编写它吗？我猜单独尝试|@|然后&&会让代码看起来有些可怕。（对不起，我还不是绝地武士）

Answer 1

您可以使用sequence（或sequenceU）。

import cats.data.{NonEmptyList, Validated}
import cats.implicits._
// import cats.syntax.reducible._
// import cats.syntax.traverse._

val valids = NonEmptyList.of(valid1, valid2, valid3, valid4)

val consolidated: Validated[List[String], Boolean] =
  valids.sequenceU.map(_.reduceLeft(_ && _))

Validated[List[String], Boolean]是一种奇怪的类型，因为它可以代表两个无效/错误的情况：Invalid(messagesList)和Valid(false)。由于您只是模式匹配Valid(true)（不是Valid(false)），因此也可以将其建模为Validated[List[String], Unit]。

// import cats.syntax.foldable._

val consolidated2: Validated[List[String], Unit] =
  valids.traverseU_(_.ensure("was false" :: Nil)(identity))

consolidated2.fold(
  errorList => // do something 
  , _ => // do something
)

对于编译器错误：您可能使用旧版本的Cats有另一个依赖项。 Cats在version 0.8.0中删除了Xor数据类型，转而使用Either。

将多个Validated合并为单个

1 个答案: