valori delle etichette estratto da un'istanza LabelledGeneric

Question

consideri il seguente esempio:

import shapeless._ 

case class Foo(bar: String, baz: Boolean) 
val labl = LabelledGeneric[Foo] 

Ora, il tipo di labl è (prettified)

LabelledGeneric[Foo] { 
    type Repr = 
    FieldType[Symbol @@ String("bar"), String] :: 
    FieldType[Symbol @@ String("baz"), Boolean] :: 
    HNil 
} 

che convoglia già delle informazioni necessarie, ossia i nomi dei campi della classe case.

Quello che sto cercando è un modo per andare da labl a qualcosa sulla falsariga di

"bar" :: "baz" :: HNil 

cioè si materializzano le informazioni contenute nei tipi singleton in un valore.

È possibile? Potrei usare una macro, ma sento che finirei per riscrivere qualcosa di molto simile all'oggetto GenericMacros in forma informe, quindi mi chiedo se posso sfruttarlo direttamente.

Answer 1

È possibile ottenere le chiavi del record (come Symbol s) tramite shapeless.ops.record.Keys.

Questo

import shapeless._ 
import shapeless.ops.record._ 

case class Foo(bar: String, baz: Boolean) 
val labl = LabelledGeneric[Foo] 
val keys = Keys[labl.Repr].apply 
println(keys) 
println(keys.toList.map(_.name)) 

risultati in

'bar :: 'baz :: HNil 
List(bar, baz) : List(String)