一般的にShapelessでフィールド名を抽出する方法は？

Question

私は次のコードを使用して型崩れしてそのフィールド名を抽出することができますケースクラスAを考える：

val fieldNames: List[String] = { 
    import shapeless._ 
    import shapeless.ops.record.Keys 

    val gen = LabelledGeneric[A] 
    val keys = Keys[gen.Repr].apply 
    keys.toList.map(_.name) 
} 

これは、すべての素敵な作品が、私は便利に使用できるように、どのように私は、より一般的な方法でこれを実装することができます

val fields: List[String] = fieldNames[AnyCaseClass] 

このような任意のクラスのテクニックは既に私のためにこれを行うライブラリはありますか？

Answer 1

多分このような何か、this exampleを少し変更したバージョン：

import shapeless._ 
import shapeless.ops.record._ 
import shapeless.ops.hlist.ToTraversable 

trait FieldNames[T] { 
    def apply(): List[String] 
} 

implicit def toNames[T, Repr <: HList, KeysRepr <: HList](
    implicit gen: LabelledGeneric.Aux[T, Repr], 
    keys: Keys.Aux[Repr, KeysRepr], 
    traversable: ToTraversable.Aux[KeysRepr, List, Symbol] 
): FieldNames[T] = new FieldNames[T] { 
    def apply() = keys().toList.map(_.name) 
} 

def fieldNames[T](implicit h : FieldNames[T]) = h()