Scala Shapeless - Itérer/lire chaque élément de Generic.Repr ou le convertir en HList

Question

J'apprends sans forme et référence un tutoriel de . Ce qui dit,

Générique est un moyen simple de convertir la classe de cas et les types de produits (comme tuples) à HList, et vice-versa:

import shapeless.Generic 

case class UserWithAge(name: String, age: Int) 
val gen = Generic[UserWithAge] 
val u = UserWithAge("Julien", 30) 

val h = gen.to(u) 

Maintenant, si j'imprimer h, je obtiendra Julien :: 30 :: HNil. Mais, je suis incapable de lire chaque élément de h tels que h.head, h.tail ne fonctionnera pas et il n'y a pas de méthodes disponibles dans h. Ici, h est le type de gen.Repr et je ne pouvais pas trouver un moyen de le convertir en HList non plus. Alors, comment puis-je lire chaque élément de h?

Answer 1

Dans ce cas, le type de gen.to(u) est gen.Repr, qui, si vous regardez le type de gen réellement String :: Int :: HNil dépense, il est donc déjà un HList!

scala> import shapeless.Generic 
import shapeless.Generic 

scala> case class UserWithAge(name: String, age: Int) 
defined class UserWithAge 

scala> val gen = Generic[UserWithAge] 
gen: shapeless.Generic[UserWithAge]{type Repr = shapeless.::[String,shapeless.::[Int,shapeless.HNil]]} = anon$macro$3$1@4ff329b8 

scala> val u = UserWithAge("Julien", 30) 
u: UserWithAge = UserWithAge(Julien,30) 

scala> val h = gen.to(u) 
h: gen.Repr = Julien :: 30 :: HNil 

scala> h.head 
res0: String = Julien 

scala> h.tail 
res1: shapeless.::[Int,shapeless.HNil] = 30 :: HNil 

Dans le cas général, le type Repr d'un Generic sera soit un HList ou Coproduct. Pour des exemples de programmation générique sur ces derniers, voir shapeless-type-class-derivation-2015-demo.