scala – 将选项[验证[E,A]]转换为验证[E,选项[A]]

发布时间：2020-12-16 18:14:13 所属栏目：安全来源：网络整理

导读：在 ScalaZ中,将选项[验证[E,A]]转换为验证[E,选项[A]]的惯用方法是什么？例如,在以下假设代码中： def convert(x: Option[Validation[E,A]]): Validation[E,Option[A]] = /* ??? */def validateThing(thing: A): Validation[E,A] = /* whatever */def examp

在 ScalaZ中,将选项[验证[E,A]]转换为验证[E,选项[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中,转换的实现会是什么样的？

解决方法

我可以在这看到两种可能的解决方案可能是最容易在参数上使用模式匹配的例子,例如：

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而不是Validation来聚合可能的问题,你可以使用Traversable实现转换：

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

请注意,实际上我使用的是sequenceU而不仅仅是序列,它只不过是用于正确类型推断的内部Scalaz魔法,因为Validation有两个类型参数.希望能帮助到你

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!