将选项[验证[E,A]]转换为验证[E,选项[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 
}

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

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 的解决方案，我正在考虑序列，这样您需要使用ValidationNel而不是 Validation 来聚合可能的问题，您可以convert通过以下方式实现Traversable：

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

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