scala – Shapeless 2.0.0镜头可以与列表/集合一起使用吗？

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

导读：如果我有这个： case class Foo( age: Int,name: String,bar: List[Bar],alive: Boolean )case class Bar( hey: String,you: String ) 我可以创建一个可以获取/设置foo.bar(1)的镜头.你呢？解决方法没有开箱即用,你真的需要一个部分镜头来负责任地索引列表

如果我有这个：

case class Foo(
    age: Int,name: String,bar: List[Bar],alive: Boolean
    )
case class Bar(
    hey: String,you: String
    )

我可以创建一个可以获取/设置foo.bar(1)的镜头.你呢？

解决方法

没有开箱即用,你真的需要一个部分镜头来负责任地索引列表. Scalaz提供了您所需要的功能,而 shapeless-contrib使互操作性变得简单：

import scalaz.PLens._
import shapeless.lens
import shapeless.contrib.scalaz._

val secondBar = (lens[Foo] >> 'bar).asScalaz.partial.andThen(listNthPLens(1))

然后：

scala> secondBar.get(fooB)
res0: Option[Bar] = None

scala> secondBar.get(fooA)
res1: Option[Bar] = Some(Bar(foo,bar))

scala> secondBar.set(fooA,Bar("bar","foo"))
res2: Option[Foo] = Some(Foo(1,List(Bar(,),Bar(bar,foo)),false))

scala> secondBar.set(fooB,"foo"))
res3: Option[Foo] = None

如果你不介意危险地生活,你也可以编写自己的无形镜头来查找列表中的位置(像Lens [List [A],A]这样的类型),但这会放弃很多无形和镜片的价值.

（编辑：李大同）

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