scala - 使用 mapN 验证的猫
问题描述
我是 Cats 的初学者。我对经过验证的猫有一个错误。我使用这样的列表累加器:
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)
你能帮我解决这个错误吗?
谢谢你的帮助。
解决方案
许多年前,如果您对历史或一些旧的解决方法感兴趣,我写了一篇关于您在这里遇到的潜在问题的长博客文章,但幸运的是,现在解决方案要容易得多(假设您使用的是 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
then sequence
,你可以通过使用来让事情变得更快一点traverse
:
def check: ValidationResult[Boolean] =
(dup, values.traverse[ValidationResult, Boolean](_.check)).mapN((_, _) => true)
同样,您可以删除类型参数并让类型推断找出它们(如果您已-Ypartial-unification
启用)。
推荐阅读
- excel - 根据单元格长度设置单元格值
- flutter - Flutter中如何实现拖拽手势使页面淡出并导航回最后一页?
- r - 从 R 中的文本中提取正确的湖名称
- input - 使用输入在同一页面上跳转
- google-analytics - 查看属性在谷歌分析中不可用?
- scala - 匹配重复的RDD
- powershell - 如何从 catch 块分支到 finally - Powershell
- matlab - 如何编写“for-loop”函数来访问列和行以重复数学运算
- javascript - 如何将数据从 Python 脚本发送到 JavaScript,反之亦然?
- c# - 使用 C# 将数据输入现有行的更新中的语法错误