Scala 操作中具有类型类要求的不成形HList折页

我试图在HList上运行foldLeft，其中折叠函数需要一个typeclass。下面的示例在我介绍typeclass组件时失败，包括异常

trait MyTypeClass[T] {
  def apply(t: T): String
}
object MyTypeClasses {
  implicit val myInt = new MyTypeClass[Int] {
    def apply(t:Int) = s"Int($t)"
  }
  implicit val myString = new MyTypeClass[String] {
    def apply(t:String) = s"String($t)"
  }
  implicit val myBoolean = new MyTypeClass[Boolean] {
    def apply(t:Boolean) = s"Boolean($t)"
  }
}

object FoldPoly extends Poly2 {
  implicit def foldToStringBuffer[U](implicit M:MyTypeClass[U]) =
    at[StringBuffer, (String, U)] { (acc, t) => acc.append(t._1).append(M(t._2)) }
}

object TestRunner {
  def main(args:Array[String]):Unit = {

    val h = ("one" -> 1) :: ("two" -> "2") :: ("three" -> false) :: HNil
    println(h.foldLeft(new StringBuffer())(FoldPoly).toString)

  }
}

在失败的情况下：

Error:(68, 43) could not find implicit value for parameter folder:
shapeless.ops.hlist.LeftFolder[(String, Int) :: (String, String) :: (String, Boolean) :: shapeless.HNil,StringBuffer,FoldPoly.type]
    println(h.foldLeft(new StringBuffer())(FoldPoly).toString)

---

我发现自己不知下一步该做什么…

您的typeclass实例不在隐式范围内。将对象重命名为

MyTypeClass

，以便将其视为同伴或导入其内容：

object TestRunner {
  def main(args:Array[String]):Unit = {
    import MyTypeClasses._
    val h = ("one" -> 1) :: ("two" -> "2") :: ("three" -> false) :: HNil
    println(h.foldLeft(new StringBuffer())(FoldPoly).toString)

  }
}

---

行得通

那太尴尬了。。。。我的实际代码（不是这个示例）在范围内，但它仍然没有运行该错误。但这至少告诉我，问题是范围问题，而不是我对“不成形”的使用