我是猫的初学者。
我对验证猫有错误。我使用这样的列表累加器:
case class Type(
name: String,
pattern: String,
primitiveType: PrimitiveType = PrimitiveType.string,
sample: Option[String] = None,
comment: Option[String] = None,
stat: Option[Stat] = None
) {
type ValidationResult[A] = Validated[List[String], A]
def checkValidity(): ValidationResult[Boolean] = {
val errorList: mutable.MutableList[String] = mutable.MutableList.empty
val patternIsValid = Try {
primitiveType match {
case PrimitiveType.struct =>
case PrimitiveType.date =>
new SimpleDateFormat(pattern)
case PrimitiveType.timestamp =>
pattern match {
case "epoch_second" | "epoch_milli" =>
case _ if PrimitiveType.formatters.keys.toList.contains(pattern) =>
case _ =>
DateTimeFormatter.ofPattern(pattern)
}
case _ =>
Pattern.compile(pattern)
}
}
if (patternIsValid.isFailure)
errorList += s"Invalid Pattern $pattern in type $name"
val ok = sample.forall(this.matches)
if (!ok)
errorList += s"Sample $sample does not match pattern $pattern in type $name"
if (errorList.nonEmpty)
Invalid(errorList.toList)
else
Valid(true)
}
}
当我将此函数与我的案例类 Types 一起使用时:
case class Types(types: List[Type]) {
type ValidationResult[A] = Validated[List[String], A]
def checkValidity(): ValidationResult[Boolean] = {
val typeNames = types.map(_.name)
val dup: ValidationResult[Boolean] =
duplicates(typeNames, s"%s is defined %d times. A type can only be defined once.")
(dup,types.map(_.checkValidity()).sequence).mapN((_,_) => true)
}
}
我有这个错误
Error:(29, 39) Cannot prove that cats.data.Validated[List[String],Boolean] <:< G[A].
(dup,types.map(_.checkValidity()).sequence: _*).mapN((_,_) => true)
你能帮我解决这个错误吗?
谢谢你的帮助。
最佳答案
多年前我写了一篇 long blog post关于您在这里遇到的潜在问题,如果您对历史或一些旧的解决方法感兴趣,但幸运的是现在解决方案要容易得多(假设您使用的是 Scala 2.11 或 2.12):只需添加 -Ypartial-unification
到您的 Scala 编译器选项。例如,如果您使用的是 sbt,则可能如下所示:
scalacOptions += "-Ypartial-unification"
你已经完成了。
如果由于某种原因无法添加编译器选项,则必须显式提供一些类型参数。这是一个快速的简化版本:
import cats.data.Validated, cats.implicits._
case class Foo(i: Int) {
type ValidationResult[A] = Validated[List[String], A]
def check: ValidationResult[Boolean] =
if (i < 0) Validated.invalid(List("bad")) else Validated.valid(true)
}
case class Foos(values: List[Foo]) {
type ValidationResult[A] = Validated[List[String], A]
def dup: ValidationResult[Unit] = Validated.valid(())
def check: ValidationResult[Boolean] =
(dup, values.map(_.check).sequence).mapN((_, _) => true)
}
这将因您看到的错误而失败(假设您尚未添加
-Ypartial-unification
):<console>:22: error: Cannot prove that cats.data.Validated[List[String],Boolean] <:< G[A].
(dup, values.map(_.check).sequence).mapN((_, _) => true)
^
要修复它,您可以编写以下内容:
case class Foos(values: List[Foo]) {
type ValidationResult[A] = Validated[List[String], A]
def dup: ValidationResult[Unit] = Validated.valid(())
def check: ValidationResult[Boolean] =
(dup, values.map(_.check).sequence[ValidationResult, Boolean]).mapN((_, _) => true)
}
我认为您也可以将类型别名移动到包级别,但我不是 100% 确定,也没有动力去检查,抱歉。
一个脚注:任何时候你有
map
然后 sequence
,您可以使用 traverse
加快速度。反而: def check: ValidationResult[Boolean] =
(dup, values.traverse[ValidationResult, Boolean](_.check)).mapN((_, _) => true)
如果您有
-Ypartial-unification
,您可以再次删除类型参数并让类型推断来计算它们。启用。
关于scala - 使用 mapN 验证的猫,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54635826/