एक LabelledGeneric उदाहरण

Question

निम्नलिखित उदाहरण पर विचार से निकालें लेबल मानों केस वर्ग क्षेत्रों के।

क्या मैं के लिए देख रहा हूँ

"bar" :: "baz" :: HNil 

अर्थात की तर्ज जानकारी एक मूल्य में सिंगलटन प्रकार में निहित materializing साथ कुछ करने के लिए labl से जाने के लिए एक तरीका है।

क्या यह संभव है? मैं एक मैक्रो का उपयोग कर सकता था, लेकिन मुझे लगता है कि मैं GenericMacros ऑब्जेक्ट के समान आकार में कुछ लिखना समाप्त कर दूंगा, इसलिए मैं सोच रहा हूं कि मैं इसे सीधे लाभ उठा सकता हूं या नहीं।

Answer 1

आप shapeless.ops.record.Keys के माध्यम से रिकॉर्ड की कुंजी (Symbol एस) प्राप्त कर सकते हैं।

यह

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)) 

परिणामों में

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