Scala HList折叠功能，需要HList

基本上，我想要这样的东西：

class FoldFn(l: HList) extends Poly {
  // stuff
}

def doStuff[L <: HList](l: L)(implicit folder: LeftFolder.Aux[L, Int, FoldFn, Int]): Int =
  l.foldLeft(0)(new FoldFn(l))(folder)

newfoldfn（l）

显然具有类型

FoldFn

，但编译器不会接受

LeftFolder

实例。

---

我如何才能让它工作？

多态函数值需要一个稳定的标识符，这使得这很棘手。一种解决方案是结合使用

mapcont

和

zip

——请参阅以了解一些讨论。我最近遇到了一个类似的问题，这可能会帮助您：

type mismatch
found   : shapeless.ops.hlist.LeftFolder.Aux[L,Int,FoldFn,Int]
 (which expands to)  shapeless.ops.hlist.LeftFolder[L,Int,FoldFn]{type Out = Int}  
required: shapeless.ops.hlist.LeftFolder[L,Int,op.type]