时间戳

首页 > 解决方案 > 如何将序列函数应用于猫的 ValidatedNel 列表？

scala - 如何将序列函数应用于猫的 ValidatedNel 列表？

问题描述

我有以下代码

sealed trait DomainValidation {
  def errorMessage: String
}
type ValidationResult[A] = ValidatedNel[DomainValidation, A]
val ai:ValidationResult[String] = "big".validNel
val bi:ValidationResult[String] = "leboski".validNel
val l = List(ai,bi)

我想转换l为ValidationResult[List[String]]. 我遇到了sequence功能，但我无法使用猫sequence，因为必须有一些隐含的知道如何处理ValidationResult[A]。但我无法弄清楚到底需要什么。我写了以下

object helper {
  implicit class hello[A](l: List[ValidationResult[A]]) {
    def mysequence: ValidationResult[List[A]] = {
     val m = l.collect { case Invalid(a) => Invalid(a) }
     if (m.isEmpty) l.map { case Valid(a) => a }.validNel
     else /* merge the NonEmpty Lists */
    }
  }
}

我能够做到l.mysequence。但是我该如何使用猫sequence。

PS：我是一个Scala初学者。很难学习:)。原谅任何不正确的提及。

标签： scalaimplicitscala-cats

解决方案

以下应该在 Scala 2.12 上按预期工作：

import cats.data.ValidatedNel, cats.syntax.validated._

// Your code:
sealed trait DomainValidation {
  def errorMessage: String
}
type ValidationResult[A] = ValidatedNel[DomainValidation, A]
val ai:ValidationResult[String] = "big".validNel
val bi:ValidationResult[String] = "leboski".validNel
val l = List(ai,bi)

接着：

scala> import cats.instances.list._, cats.syntax.traverse._
import cats.instances.list._
import cats.syntax.traverse._

scala> l.sequence
res0: ValidationResult[List[String]] = Valid(List(big, leboski))

您没有显示您的代码或解释什么不起作用，因此很难诊断您的问题，但它可能是以下问题之一：

  1. 您使用的是 Scala 2.11，.sequence需要-Ypartial-unification在编译器选项中启用。如果您使用的是 sbt，您可以通过添加scalacOptions += "-Ypartial-unification"到您的build.sbt（假设您使用的是 2.11.9+）来做到这一点。
  2. 您省略了一项必要的导入。您至少需要Traversefor 的实例List和语法Traverse。上面的示例代码包括您需要的两个导入，或者您可以只导入cats.implicits._并让您的生活更轻松一些。

如果这不是这两件事之一，您可能需要在您的问题中包含更多细节，以便我们能够提供帮助。

推荐阅读