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 के बजाय fmapper निहित करने के लिए तर्क के साथ भ्रम से बचने के नाम पर रखा गया है: सिर्फ एक object एक val के बजाय के रूप में अपने समारोह को परिभाषित map।)

मुझे यकीन है कि क्यों कुछ बिंदु कम से मैं क्यों val निराकार में बात इस तरह का काम नहीं होगा का विवरण बाहर काम करने की कोशिश की मैं साथ मदद कर सकते हैं नहीं कर रहा हूँ, और मैं याद नहीं है कि मुझे कितना दूर मिला।