Tại sao ánh xạ trên một HList of Option [T] không hoạt động?

Question

này không biên dịch và tôi không hiểu tại sao:

import shapeless._ 
import poly._ 

object option extends (Option ~> List) { 
    def apply[T](t: Option[T]) = t.toList 
} 

val simple = Some(1) :: Some("hello") :: Some(true) :: HNil 
val opts: List[Int] :: List[String] :: List[Boolean] :: HNil = simple map option 

Đây là điều khá ngạc nhiên, bởi vì đây không biên dịch:

import shapeless._ 
import poly._ 

object choose extends (Set ~> Option) { 
    def apply[T](s: Set[T]) = s.headOption 
} 

val sets = Set(1) :: Set("foo") :: HNil 
val opts: Option[Int] :: Option[String] :: HNil = sets map choose 

Answer 1

Vấn đề là việc bạn sử dụng Some thay vì Option. Trình biên dịch phàn nàn rằng nó không thể tìm thấy bất cứ điều gì để chuyển đổi một danh sách các Some s mặc dù Option bản đồ của bạn đang được sử dụng. Để khắc phục điều này, bạn có thể:

Thay đổi xây dựng danh sách đơn giản để sử dụng Option thay vì Some:

object option extends (Option ~> List) { 
    def apply[T](t: Option[T]) = t.toList 
    } 

    val simple = Option(1) :: Option("hello") :: Option(true) :: HNil 
    val opts2: List[Int] :: List[String] :: List[Boolean] :: HNil = simple map option 

Sử dụng Some như loại mapper của bạn:

object option extends (Some ~> List) { 
    def apply[T](t: Some[T]) = t.toList 
    } 

    val simple = Some(1) :: Some("hello") :: Some(true) :: HNil 
    val opts2: List[Int] :: List[String] :: List[Boolean] :: HNil = simple map option 

Hoặc buộc các loại đơn giản bị downcast thành Option:

object option extends (Option ~> List) { 
    def apply[T](t: Option[T]) = t.toList 
    } 

    val simple: Option[Int] :: Option[String] :: Option[Boolean] :: HNil = Some(1) :: Some("hello") :: Some(true) :: HNil 
    val opts2: List[Int] :: List[String] :: List[Boolean] :: HNil = simple map option