矢量任何无形的HList

use*_*187 4 scala scalaz scala-collections scala-2.10 shapeless

有没有办法将Any类型的矢量转换为无形HList(productelement)

val frame = Vector(Vector(1,"a","b",false),Vector(2,"y","z",false),Vector(3,"p","q",true))

frame.map(_.hlisted) or frame.map(_.productElements)
Run Code Online (Sandbox Code Playgroud)

我试图转换为以下结构

List[Int :: String :: String :: Boolean :: HNil](1 :: a :: b :: false :: HNil, 2 :: y :: z :: false :: HNil, 3 :: p :: q :: true :: HNil)
Run Code Online (Sandbox Code Playgroud)

基于Shapless Migration指南,可以使用Typed Tuples

https://github.com/milessabin/shapeless/wiki/Migration-guide:-shapeless-1.2.4-to-2.0.0#productelements-is-the-new-name-for-hlisted

import shapeless._
import syntax.std.product._  // New import

scala> (23, "foo", true).productElements // was '.hlisted'
res0: Int :: String :: HNil = 23 :: foo :: true :: HNil
Run Code Online (Sandbox Code Playgroud)

这是可能的非类型向量或矢量 - >类型元组 - > HList?

提前致谢

Tra*_*own 7

是的,这是可能的,但你必须指定类型,因为这是一个可以在运行时失败的强制转换,你将得到的结果包含在Option:

import shapeless._, syntax.std.traversable._

val hlists = frame.map(_.toHList[Int :: String :: String :: Boolean :: HNil])
Run Code Online (Sandbox Code Playgroud)

现在hlists有了类型Vector[Option[Int :: String :: String :: Boolean :: HNil]],在这种情况下,特别是所有的转换都是成​​功的,所以它们都包含在内Some.