我从shapeless开始工作,作为概念证明,我定义了将Hlist转换为Map的函数,但出现了问题,您能帮我吗?Any], T] { (acc, t) => }println(h.foldLeftMap.empty[String, Any])(foo))
但我得到了错误:could not find implicit value for pa
我正在寻找一种将两个HList压缩在一起的方法。第一个是从在其泛型表示中转换的case类生成的,第二个是手动定义为Nat的HList。因此,我希望case类中有一个带有一个字段的元组(或2个成员HList),并与Nat相关联。
目标是创建一个“可定制的”ZipWithIndex。def derive[A, I <: HList, R <: HList,