Scalaz：如何用值镜头组合贴图镜头？

有一个Scalaz地图镜头的例子：Dan Burton称之为containsKey，它的灵感来自Edward Kmett的演讲。Scalaz 7中还有一种称为

mapVPLens

的东西，用于修改地图中的值

我的问题是：如果我有一个镜头用于修改类型

V

，还有一个镜头用于

映射[K，V]

，我如何组合它们？我一直在寻找一个好的简单示例，但Scalaz中仍然缺少示例

---

我对Scalaz 6和Scalaz 7解决方案都感兴趣。

如果您试图用贴图镜头合成的镜头是部分镜头，您可以使用

合成
：

import scalaz._, Scalaz._, PLens._

def headFoo[A] = listHeadPLens[A] compose mapVPLens("foo")

然后：

scala> headFoo.get(Map("foo" -> List(42)))
res0: Option[Int] = Some(42)

scala> headFoo.get(Map("foo" -> Nil))
res1: Option[Nothing] = None

scala> headFoo.get(Map("bar" -> List(13)))
res2: Option[Int] = None

请注意，这是Scalaz 7

如果要合成的镜头不是部分镜头，可以使用
~
：

scala> def firstFoo[A, B] = ~Lens.firstLens[A, B] compose mapVPLens("foo")
firstFoo: [A, B]=> scalaz.PLensFamily[Map[String,(A, B)],Map[String,(A, B)],A,A]

scala> firstFoo.get(Map("foo" -> (42, 'a)))
res6: Option[Int] = Some(42)

如果您不喜欢一元运算符，还有一个
.partial
方法。
谢谢，这是一个很好的答案。我终于让镜头合成与我的应用程序一起工作了——大量的编译时争论，没有运行时争论！总之，技巧是在处理地图时将
.partial
添加到值镜头。