我试图用无形的方式解决this problem。但由于某种原因,我无法在HList
上进行映射。我会让代码说明一切。
import shapeless._
import HList._
case class Foo(a: Option[Int], b: Option[Int])
val a = Foo(Some(3), None)
val b = Foo(Some(22), Some(1))
implicit val fooIso = HListIso(Foo.apply _, Foo.unapply _)
val mapper = new (({ type O2[+A] = (Option[A], Option[A]) })#O2 ~> Option) {
def apply[A](x: (Option[A], Option[A])): Option[A] = x._1.orElse(x._2)
}
fooIso.fromHList(fooIso.toHList(a).zip(fooIso.toHList(b)).map(mapper))
错误信息是:
<console>:55: error: could not find implicit value for parameter mapper: shapeless.Mapper[java.lang.Object with shapeless.~>[[+A](Option[A], Option[A]),Option],shapeless.::[(Option[Int], Option[Int]),shapeless.::[(Option[Int], Option[Int]),shapeless.HNil]]]
fooIso.fromHList(fooIso.toHList(a).zip(fooIso.toHList(b)).map(mapper))
^
为什么映射不起作用?
答案 0 :(得分:10)
有一个简单的解决方法:只需将您的功能定义为object
而不是val
:
object f extends (({ type O2[+A] = (Option[A], Option[A]) })#O2 ~> Option) {
def apply[A](x: (Option[A], Option[A])): Option[A] = x._1 orElse x._2
}
(请注意,我已将函数f
命名为mapper
而不是mapper
,以避免与map
的{{1}}隐式参数混淆。)
我不确定我能帮助为什么 - 在某些方面,我试图找出为什么val
在Shapeless中不能用于此类事情的细节,我不记得我走了多远。