一个糟糕的版本
我将开始尝试编写类似于这样的东西。我在这里使用了一个简单的列表版本,但如果您愿意,您可以使用更高级的方式(例如Traverse
)。
import monocle.Traversal
import scalaz.Applicative, scalaz.std.list._, scalaz.syntax.traverse._
def filterWith[A](p: A => Boolean): Traversal[List[A], A] =
new Traversal[List[A], A] {
def modifyF[F[_]: Applicative](f: A => F[A])(s: List[A]): F[List[A]] =
s.filter(p).traverse(f)
}
然后:
import monocle.macros.GenLens
case class Person(name: String)
case class Group(group: List[Person])
val personLens = GenLens[Person]
val groupLens = GenLens[Group]
val aNames = groupLens(_.group).composeTraversal(filterWith(_.name.startsWith("A")))
val group = Group(List(Person("Al"), Person("Alice"), Person("Bob")))
最后:
scala> aNames.getAll(group)
res0: List[Person] = List(Person(Al), Person(Alice))
它运作了!
为什么它不好
它可以工作,但是...
scala> import monocle.law.discipline.TraversalTests
import monocle.law.discipline.TraversalTests
scala> TraversalTests(filterWith[String](_.startsWith("A"))).all.check
+ Traversal.get what you set: OK, passed 100 tests.
+ Traversal.headOption: OK, passed 100 tests.
! Traversal.modify id = id: Falsified after 2 passed tests.
> Labels of failing property:
Expected List(崡) but got List()
> ARG_0: List(崡)
! Traversal.modifyF Id = Id: Falsified after 2 passed tests.
> Labels of failing property:
Expected List(ᜱ) but got List()
> ARG_0: List(ᜱ)
+ Traversal.set idempotent: OK, passed 100 tests.
三分之二不是很好。
稍微好一点的版本
让我们重新开始:
def filterWith2[A](p: A => Boolean): Traversal[List[A], A] =
new Traversal[List[A], A] {
def modifyF[F[_]: Applicative](f: A => F[A])(s: List[A]): F[List[A]] =
s.traverse {
case a if p(a) => f(a)
case a => Applicative[F].point(a)
}
}
val aNames2 = groupLens(_.group).composeTraversal(filterWith2(_.name.startsWith("A")))
然后:
scala> aNames2.getAll(group)
res1: List[Person] = List(Person(Al), Person(Alice))
scala> TraversalTests(filterWith2[String](_.startsWith("A"))).all.check
+ Traversal.get what you set: OK, passed 100 tests.
+ Traversal.headOption: OK, passed 100 tests.
+ Traversal.modify id = id: OK, passed 100 tests.
+ Traversal.modifyF Id = Id: OK, passed 100 tests.
+ Traversal.set idempotent: OK, passed 100 tests.
好的,更好了!
为什么它仍然不好
Traversal
的"真实"法则没有编码在Monocle的TraversalLaws
中(至少目前还没有),而我们还希望类似于下面这样的内容能够保持:
对于任何f:A => A
和g:A => A
,t.modify(f.compose(g))
应该等于t.modify(f).compose(t.modify(g))
。
让我们来试一试:
scala> val graduate: Person => Person = p => Person("Dr. " + p.name)
graduate: Person => Person = <function1>
scala> val kill: Person => Person = p => Person(p.name + ", deceased")
kill: Person => Person = <function1>
scala> aNames2.modify(kill.compose(graduate))(group)
res2: Group = Group(List(Person(Dr. Al, deceased), Person(Dr. Alice, deceased), Person(Bob)))
scala> aNames2.modify(kill).compose(aNames2.modify(graduate))(group)
res3: Group = Group(List(Person(Dr. Al), Person(Dr. Alice), Person(Bob)))
所以我们又没有运气了。我们的
filterWith
合法的唯一方式是承诺永远不使用可能改变谓词结果的参数来调用
modify
。
这就是为什么
filterIndex
是合法的——它的谓词以一个
modify
无法触及的参数作为参数,因此您无法违反
t.modify(f.compose(g)) === t.modify(f).compose(t.modify(g))
法则。
故事寓意
你可以编写一种不合法的 Traversal
,用它进行非法过滤操作,并且经常使用它,很有可能不会对你造成伤害,也不会让人认为你是一个可怕的人。如果你想这么做,就去做吧。不过,在一个好的镜头库中,你很可能永远看不到 filterWith
。