折叠HList？

Question

鉴于：

import shapeless._
case class F(x: Option[Int], y: Option[Int])

我想帮你写一个函数，f：

def f（Option[Int]：：Option[Int]：：HNil）：字符串

这样，每个选项[Int]被替换为一些数字或空的；和HNil的。

例子：

val res7 = Generic[F].to( F( Some(42), None) )
//res7: shapeless.::[Option[Int],shapeless.::
         [Option[Int],shapeless.HNil]] = Some(42) :: None :: HNil

f(res7) === "42empty"

如何编写f？

Answer 1

您需要一个多边形：

 object OptFolder extends Poly2{
   def conv(x: Option[Int]) = x.map(_.toString).getOrElse("empty")

   implicit val ff = at{ (y: String, z: Option[Int]) => y + conv(z) }
 }

 val lala: String = myHlist.foldLeft("")(OptFolder) //:String not required

因此，将一个泛型转换为HList，然后是一个具有定义良好的多边形的foldLeft。