同时获得一个 Witness 和一个 type-class

Question

我正在试验包含类型参数的单例类型。我正在尝试编写一个函数，该函数将接受该单例类型的 Witness 和其嵌套类型的类型类。很容易让每一个单独使用（请参阅下面的 f1() 和 f2()），但我无法同时使用它：

import shapeless._
import shapeless.labelled.FieldType
import shapeless.syntax.singleton._

sealed trait TC[L]

object TC {
  implicit def intTC = new TC[Int] {}
}

object Test {
  def f1[VI <: Vector[Int]](value: FieldType[VI, String])(
                            implicit wt: Witness.Aux[VI]) = {}

  def f2[L](value: FieldType[_ <: Vector[L], String])(
            implicit wt: TC[L]) = {}

  def f3[L, M <: Vector[L]](value: FieldType[M, String])(
                            implicit wt: TC[L], witness: Witness.Aux[M]) = {}

  val v = Vector(1,2,3)
  f1(v ->> "foo")    // works
  f2(v ->> "foo")    // works
  f3(v ->> "foo")    // does not work
}

我得到

inferred type arguments [Nothing,Test.v.type] do not conform to method f3's type parameter bounds [L,M <: Vector[L]]
[error]   f3(v ->> "foo")

有没有办法帮助编译器同时推断出内部类型和单例类型？

Answer 1

以下对我有用。我添加了一个隐式参数 ev，它提供了 M 是 Vector[L] 的子类并将它们绑定在一起的证据。这足以防止编译器推断 L 是 Nothing。

def f3[L, M <: Vector[_]](value: FieldType[M, String])(
                          implicit witness: Witness.Aux[M],
                                   ev: M <:< Vector[L], 
                                   wt: TC[L]) = {}

同时获得一个 Witness 和一个 type-class

Getting a Witness and a type-class at the same time

scala

typeclass

shapeless