示例使用Scalaz.Lens的modf、modp和xmap

Question

有很多很棒的教程和文章涵盖了镜头的方法，例如更新嵌套结构的更简洁的方法；有人能提供这三种方法的示例用法吗？谢谢。

Answer 1

不幸的是，Scalaz7镜头的例子是一个WIP。您需要问Scalaz谷歌集团这个问题。在你问之前，试试这里的例子，看看Emmett的视频。

• 使用带有Scalaz 7的镜片
• 埃米特镜头上的视频

再看一遍源代码。从这个你能猜出什么？

 def xmapbA[X, A >: A2 <: A1](b: Bijection[A, X]): LensFamily[X, X, B1, B2] =
    xmapA(b to _)(b from _)

  def xmapB[X1, X2](f: B1 => X1)(g: X2 => B2): LensFamily[A1, A2, X1, X2] =
    lensFamily(a => run(a).xmap(f)(g))

  def xmapbB[X, B >: B1 <: B2](b: Bijection[B, X]): LensFamily[A1, A2, X, X] =
    xmapB(b to _)(b from _)


  /** Modify the value viewed through the lens, returning a functor `X` full of results. */
  def modf[X[+_]](f: B1 => X[B2], a: A1)(implicit XF: Functor[X]): X[A2] = {
    val c = run(a)
    XF.map(f(c.pos))(c put _)
  }

很抱歉对你的帮助很小。在你问之前，我可以指出你该问的是谁，你需要知道什么。