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，这样您需要使用ValidationNel而不是验证来汇总可能的问题，您可以使用{{convert来实现Traversable 1}}：

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

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

将选项[验证[E，A]]转换为验证[E，选项[A]]

1 个答案: