将 Option[Validation[E, A]] 转换为 Validation[E, Option[A]]

Question

在 ScalaZ 中，将 Option[Validation[E, A]] 转换为 Validation[E, Option[A]] 的惯用方法是什么？

例如，在下面的假设代码中：

def convert(x: Option[Validation[E, A]]): Validation[E, Option[A]] =    
  /* ??? */

def validateThing(thing: A): Validation[E, A] = 
  /* whatever */

def exampleUseCase(maybeThing: Option[Thing]): Validation[E, Option[Thing]] = {
  val validated: Option[Validation[E, Thing]] = a.map(validateThing(_))

   // ...

  val result: Validation[E, Option[Thing]] = convert(validated)
  result 
}

在惯用的 ScalaZ 中 convert 的实现会是什么样子？

Answer 1

我可以在这里看到两种可能的解决方案。在参数上使用模式匹配可能是最简单的一种，例如：

def convert[A](v: Option[Validation[Throwable, A]]): Validation[Throwable, Option[A]] = {
  v match {
    case None => Validation.success(None)
    case Some(valid) => valid.map(Some(_))
  }
}

对于基于 Scalaz 的解决方案，我正在考虑 sequence, this way you need to use ValidationNel 而不是验证，以汇总可能的问题，您可以使用 Traversable:

实现 convert

def convert[A](v: Option[ValidationNel[Throwable, A]]): ValidationNel[Throwable, Option[A]] = 
  Traverse[Option].sequenceU(v)

请注意，实际上我使用的是 sequenceU 而不是 sequence，它只不过是用于正确类型推断的内部 Scalaz 魔术，因为验证有两个类型参数。希望对你有帮助

将 Option[Validation[E, A]] 转换为 Validation[E, Option[A]]

Convert an Option[Validation[E, A]] to a Validation[E, Option[A]]

scala

validation

scalaz