scala - 无法映射到 HList

标签 scala type-systems shapeless

我试图解决 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))
                                                                           ^

为什么映射不起作用?

最佳答案

有一个简单的解决方法:只需将您的函数定义为 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 。)

我不确定我能帮上什么忙——在某些时候我试图找出原因的细节 val在Shapeless中对这种事情不起作用,我不记得我走了多远。

关于scala - 无法映射到 HList,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11442440/

相关文章:

scala - 有没有办法确保类型在编译时是可序列化的

scala - 是否有一个类型类来检查是否存在至少一个隐式类型?

scala - 在 Hlist of Options 中无形查找 Some between Nones 的实例

scala - Actor (scala/akka) : is it implied that the receive method will be accessed in a threadsafe manner?

c++ - 模板:静态类型还是动态类型?

scala - 当人们说他们运行 'scala in the backend' 时,他们是在什么情况下谈论的?

Scala - 返回一个类型

scala - 如何理解 "Covariance"和 "Contravariance"这两句话?

scala - 在 IntellijIdea 10 上运行 Scala 2.9.0 应用程序

scala - 循环遍历文件行并通过 Spark 中的每次迭代执行函数