我正在尝试解决这个问题,并想折叠一个HList
使用Poly2
函数。
这是一个独立的 MWE(您可以将其复制粘贴到具有无形 2.0 的 REPL 中以重现该问题)
import shapeless._; import shapeless.record._
case class RowParser[T](value: T)
sealed trait ColParser[T, K <: Symbol] { val column: Witness.Aux[K] }
case class Nullable[T, K <: Symbol](column: Witness.Aux[K], parserF: String => RowParser[T]) extends ColParser[T, K]
case class NonNullable[T, K <: Symbol](column: Witness.Aux[K], parserF: String => RowParser[T]) extends ColParser[T, K]
val cols = NonNullable('col1, (_ => RowParser(42))) :: Nullable('col2, (_ => RowParser("foo"))) :: HNil
object toRecord extends Poly2 {
implicit def colParser[C, T, K <: Symbol, LL <: HList](
implicit ev: C <:< ColParser[T,K]
) = at[Tuple2[List[Int], LL], C] {
case ((vals, rec), x) => (vals, field[K](vals.headOption) :: rec)
}
}
cols.foldLeft((List(1,2), HNil))(toRecord)
// expected: Some(1) :: Some(1) :: HNil
我收到此错误:
错误:shapeless.ops.hlist.LeftFolder[shapeless.::[NonNullable[Int,this.T],shapeless.::[Nullable[String,this.T],shapeless.HNil]] 类型的发散隐式扩展,( List[Int], shapeless.HNil.type),toRecord.type]
从对象 LeftFolder cols.foldLeft((List(1,2), HNil))(toRecord) 中的方法 hnilLeftFolder 开始
所以显然编译器可以找到多个隐式来产生LeftFolder
foldLeft
需求。
我不知道如何消除歧义并明确告诉编译器我实际上想要派生 a LeftFolder
which uses toRecord
.