小编Usp*_*mir的帖子

我正在编写用于处理案例类实例列表的通用代码,在每个字段中收集值,组合然后将其传递给库.

使用无形LabelledGeneric和多态函数,它看起来像这样:

object toNamedSingletonListOfValues extends Poly1 {
  implicit def caseField[K,T] = 
    at[FieldType[K, T]](field => { field.key -> List[T](field) })
}

val generic = LabelledGeneric[MyClass]
val records = listOfMyClassInstances.map(generic.to)
val values = records.map(_.map(toNamedSingletonListOfValues)) // Then combining and passing

但是,我需要一种获取方式,field.key因为库需要参数名称.

你介意建议解决方案吗？

编写算法HList,我需要一个zipWithIndex函数.它现在不在无形图书馆,所以我决定实施它.

很明显它可能被实现为

hlist.zip(indexes)

这里indexes是HList索引(0到n),这可能可以得到这样的:

val indexes = Nat._0 until hlist.length

这里的问题是Nat没有until方法.我还没有发现任何Witness对HList与使用索引HList.map.

什么是我可以用它来获取方法HList的Nat以S开始Nat._0至hlist.length？