scala - 使用 Shapeless 展平包含 case 类元素的任意嵌套元组

Question

我使用了以下示例:

https://github.com/milessabin/shapeless/blob/master/examples/src/main/scala/shapeless/examples/flatten.scala

压平元组。但是我现在意识到案例类也被扁平化了。他们有什么办法可以确保只有元组被展平吗？

TIA

Answer 1

您可能需要一个隐式 IsTuple :

object flatten extends LowPriorityFlatten {
  implicit def caseTuple[P <: Product : IsTuple]
      (implicit lfm: Lazy[FlatMapper[P, flatten.type]]) =
    at[P](lfm.value(_))
}

测试:

val v4 = (Bar(Foo("a")), (true, 2.0, "foo"))
val f4 = flatten(v4)
typed[(Bar, Boolean, Double, String)](f4)