使用优化的约束间隔编译错误。关闭

Question

我之前发布了一个类似的问题，这是固定的。然而，为了问这个问题，我简化了我最初的问题。但是，这个简单问题的解决方案似乎并没有解决我最初的问题

当我尝试这个简短的代码片段时，我尝试使用Interval.闭包类型从精炼库（https://github.com/fthomas/refined）约束一个Double类型，会产生一个编译错误。

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 UnitReal = Double Refined Interval.Closed[W.`0.0`.T, W.`1.0`.T]

  def foo(x: Double): Either[String, UnitReal] = refineV[UnitReal](x)
}

显示此编译错误：

错误：（13，67）找不到参数v的隐式值：eu。时间坑。精炼 的应用程序编程接口。验证[Double，xxx.Lala.UnitReal]def foo（x:Double）：要么[String，UnitReal]=refineVUnitReal

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

Answer 1

通过分离约束和约束类型，并使用约束来细化值（即refineVOneToZero），我能够解决这个问题：

object Lala {
  type OneToZero = Interval.Closed[W.`0.0`.T, W.`1.0`.T]
  type UnitReal = Double Refined OneToZero

  def foo(x: Double): Either[String, UnitReal] = refineV[OneToZero](x)
}