scala - 通过“镜头”映射“状态”

Question

是否有一些带有签名的功能

lensMapState[S, T, A](lens : Lens[S, T]): State[T, A] => State[S, A]

使用语义对所选部分进行修改并获得结果

一种实现可能是

def lensMapState[S, T, A](lens: Lens[S, T]): State[T, A] => State[S, A] =
    stateT => State { s =>
      val (result, x) = stateT.run(lens.get(s))
      (lens.set(result)(s), x)
    } 

但是如果有更直接的方法使用单片眼镜或scalaz.Lens？

Answer 1

我认为您正在寻找的是这样的：

import scalaz._
import Scalaz._

case class Person(name: String, age: Int)
case object Person {
  val _age = Lens.lensu[Person, Int]((p, a) => p.copy(age = a), _.age 
}

val state = for {
  a <- Person._age %= { _ + 1 } 
} yield a

state.run(Person("Holmes", 42))

这导致

res0: scalaz.Id.Id[(Person, Int)] = (Person(Holmes,43),43)

在https://github.com/scalaz/scalaz/blob/series/7.1.x/core/src/main/scala/scalaz/Lens.scala Monocle 中定义了很多镜头/状态相关的函数，遵循类似的原则。据我所知，相关功能在 monocle.state 中定义。