3

我第一次尝试单片眼镜。

这是案例类：

case class State(mem: Map[String, Int], pointer: Int)

以及我想做的使用标准scala的当前修改：

def add1 = (s: State) => s.copy(
  mem = s.mem.updated("a", s.mem("a") + 1),
  pointer = s.pointer + 1
)

这是我使用单片眼镜的实现

val mem = GenLens[State](_.mem)
val pointer = GenLens[State](_.pointer)
val add2 = (mem composeLens at("a")).modify(_.map(_ + 1)) andThen pointer.modify(_ + 1)

不幸的是，代码并不干净……</p>

  1. 有没有更简洁的方法？
  2. 我们可以使用宏生成所有样板吗？

[更新]我想出了一个组合器

  def combine[S, A, B](lsa : Lens[S, A], f: A => A, lsb: Lens[S, B], g: B => B) : S => S = { s =>
    val a = lsa.get(s)
    val b = lsb.get(s)
    val s2 = lsa.set(f(a))
    val s3 = lsb.set(g(b))
    s2(s3(s))
  }

问题是我还需要生产一个中间的无用的S。

[update2] 我已经清理了组合器的代码。

  def mergeLens[S, A, B](lsa : Lens[S, A], lsb : Lens[S, B]) : Lens[S, (A, B)] =
    Lens.apply[S, (A, B)](s => (lsa.get(s), lsb.get(s)))(t => (lsa.set(t._1) andThen lsb.set(t._2)))

  def combine[S, A, B](lsa : Lens[S, A], f: A => A, lsb: Lens[S, B], g: B => B) : S => S = {
    mergeLens(lsa, lsb).modify { case (a, b) => (f(a), g(b)) }
  }
4

1 回答 1

3

index您可以使用而不是获得稍短的版本at：

(mem composeOptional index("a")).modify(_ + 1) andThen pointer.modify(_ + 1)

但是，如果两者指向同一场，mergeLens也称为水平构图不满足定律：LensLenses

  import monocle.macros.GenLens

  case class Person(name: String, age: Int)
  val age = GenLens[Person](_.age)

  val age2 = mergeLens(age, age)
  val john = Person("John", 25)
  age2.get(age2.set((5, 10))(john)) != (5, 10)
于 2017-01-12T08:51:21.303 回答