HList에 매핑 할 수 없습니다

Question

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)) 
                     ^

하지 않는 이유는 무엇 매핑 작업?

Answer 1

쉽게 수정있다 :

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 
} 

(필자는 mapper 암시 인수와 혼란을 피하기 위해 f 대신 mapper의 기능 이름을했습니다 참고 : 단지 대신 val의 object로 함수를 정의 map.)

나는 어떤 시점 -AT 내가 val이 볼품에 이런 종류의 일을 위해 일하지 왜의 세부 사항을 해결하기 위해 노력하는 이유는 도움이 될 수 있습니다 모르겠지만, 나는 내가 얼마나 멀리 있는지 기억하지 못한다.