使用改进的约束“正面”编译错误

Question

我尝试这段简短的代码片段，其中我尝试使用优化库中的正类型约束整数类型(https://github.com/fthomas/refined).

package xxx

import eu.timepit.refined._
import eu.timepit.refined.api.{Refined, Validate}
import eu.timepit.refined.auto._
import eu.timepit.refined.numeric._
import eu.timepit.refined.api.Refined
import eu.timepit.refined.numeric.Interval

object Lala {
  type X = Integer Refined Positive
  def lala(x: Int): Unit = {
    val lala: X = refineV[X](x)
  }
}

编译此片段时，我收到此错误消息：

错误：（13,29）找不到参数v的隐式值：eu.timepit.refined.api.验证[Int， xxx. Lala. X]val lala： X=fineVX

错误：（13，29）没有足够的参数用于方法应用：（隐式v:eu.timepit.refined.api.Validate[Int，xxx.Lala.X]）类RefinePartiallyApplied中的[String，eu.timepit.refined.api.refined[Int，xxx.Lala.X]]。未指定的值参数v.val lala:X=refineVX

从中似乎缺少一个积极类型的验证实现。我想知道是否有人可以帮我找到一个积极类型的验证特征实例？或者我应该自己提供这样一个实例？

Answer 1

快速浏览一下精致自述中的类似示例，应该有助于解决您的问题：

import eu.timepit.refined._
import eu.timepit.refined.api.Refined
import eu.timepit.refined.auto._
import eu.timepit.refined.numeric._

// Int instead of Integer
type X = Int Refined Positive 

// refineV returns an Either[String, SomeType Refined Tag]
// (and uses a Validate[SomeType, Tag])
def foo(x: Int): Either[String, X] = refineV[Positive](x)

foo(5)  // Either[String,X] = Right(5)
foo(-1) // Either[String,X] = Left(Predicate failed: (-1 > 0).)