scala - 如何使用 Shapeless 编写递归多态函数

Question

我可以编写一个简单的递归多态函数:

object simpleRec extends Poly1 {
  implicit def caseInt = at[Int](identity)
  implicit def caseList[A, B](implicit ev: simpleRec.Case.Aux[A, B]) =
    at[List[A]](_.headOption.map(simpleRec))
}

这似乎很大程度上满足了我的要求；但是，我似乎得到了一个无意义的结果类型:

scala> simpleRec(List.empty[List[Int]])
res3: Option[B] = None

scala> simpleRec(List(List(1)))
res4: Option[B] = Some(Some(1))

如何才能给我值 Option[Option[Int]] 而不是 Option[B]？我预计我在这里犯了一些愚蠢的错误，但无法弄清楚它是什么。

Answer 1

这可能是一个错误，以下代码按预期工作:

object simpleRec extends Poly1 {
  implicit def caseInt = at[Int](identity)
  implicit def caseList[A](implicit ev: simpleRec.Case[A]) =
    at[List[A]](_.headOption.map(simpleRec))
}

使用shapeless_2.11-2.0.0