scala – 无形：将一些元组映射到选项

发布时间：2020-12-16 19:11:00 所属栏目：安全来源：网络整理

导读：有 (Some(1),2,Some(3)) 我希望得到 (Some(1),Some(2),Some(3)) 没有形状是否可以这样做？解决方法没有形状可以做很多！ import shapeless._ import syntax.std.tuple._ trait basicOption extends Poly1 { implicit def default[T] = at[T](t = Some(t))

有

(Some(1),2,Some(3))

我希望得到

(Some(1),Some(2),Some(3))

没有形状是否可以这样做？

解决方法

没有形状可以做很多！

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),Some(3)).map(fullOption)) // (Some(1),Some(3))
  println((Some(1),None).map(fullOption)) // (Some(1),None)

有关更多示例,您可以查看他们的github repo

这适用于Shapeless 2.0及以上版本,如果您使用较旧的东西,您仍然可以执行此操作,但不是直接在元组上调用map,而是必须通过HList.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!