具有
(Some(1), 2, Some(3))
我希望得到
(Some(1), Some(2), Some(3))
有没有形状可以这样做吗?
答案 0 :(得分:7)
是的,
scala> import shapeless._, syntax.std.tuple._
import shapeless._
import syntax.std.tuple._
scala> :paste
// Entering paste mode (ctrl-D to finish)
object opt extends opt0 {
implicit def optId[T <: Option[_]] = at[T](identity)
}
trait opt0 extends Poly1 {
implicit def default[T] = at[T](Option(_))
}
// Exiting paste mode, now interpreting.
defined object opt
defined trait opt0
scala> (Some(1), 2, Some(3)) map opt
res0: (Some[Int], Option[Int], Some[Int]) = (Some(1),Some(2),Some(3))
您会注意到第一个和最后一个位置的Some[Int]
已被保留,而提升的中间元素被输入Option[Int]
。我已经假设你实际想要的是这样的,
scala> (Option(1), 2, Option(3)) map opt
res1: (Option[Int], Option[Int], Option[Int]) = (Some(1),Some(2),Some(3))
答案 1 :(得分:6)
是无形的可以做很多事!
import shapeless._
import syntax.std.tuple._
trait basicOption extends Poly1 {
implicit def default[T] = at[T](t => Some(t))
}
object fullOption extends basicOption {
implicit def caseSome[T] = at[Some[T]](s => s)
implicit def caseNone = at[None.type](s => s)
}
println((Some(1),2,Some(3)).map(fullOption)) // (Some(1),Some(2),Some(3))
println((Some(1),2,None).map(fullOption)) // (Some(1), Some(2), None)
有关更多示例,您可以查看他们的github repo
这适用于Shapeless 2.0及以上版本,如果您使用较旧的版本,您仍然可以执行此操作,但不是直接在元组上调用map
,而是必须通过HList
。