scala - 如何在 scala shapeless 中显示 HList 的类型

Question

如何将 HList 的类型作为字符串获取，以便我可以打印它。例如 "Int :: Long :: String :: HNil"

val gen = Generic[?]
val typeString: String = ???
println("The type is " + typeString)

我知道它的字符串不是很有用，通常你想要来自 gen.Repr 的类型

Answer 1

使用 shapeless.Typeable :

scala> import shapeless._
import shapeless._

scala> case class A(i: Int, s: String)
defined class A

scala> val gen = Generic[A]
gen: shapeless.Generic[A]{type Repr =
  shapeless.::[Int,shapeless.::[String,shapeless.HNil]]} =
    anon$macro$14$1@56639061

scala> println(Typeable[gen.Repr].describe)
Int :: String :: HNil