同时获得证人和类型课程

问题描述 投票:0回答:1

我正在尝试包含类型参数的单例类型。我正在尝试编写一个函数来接受该单例类型的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")

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

scala typeclass shapeless
1个回答
2
投票

以下对我有用。我添加了一个隐含参数ev,它提供了MVector[L]的子类并将它们绑定在一起的证据。这足以阻止编译器推断LNothing

def f3[L, M <: Vector[_]](value: FieldType[M, String])(
                          implicit witness: Witness.Aux[M],
                                   ev: M <:< Vector[L], 
                                   wt: TC[L]) = {}
© www.soinside.com 2019 - 2024. All rights reserved.