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

Question

如果我有这个：

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

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

Answer 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, Bar("bar", "foo"))
res3: Option[Foo] = None

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