Фильтрация списков в монокле Scala
учитывая следующий код:
case class Person(name :String)
case class Group(group :List[Person])
val personLens = GenLens[Person]
val groupLens = GenLens[Group]
как я могу "отфильтровать" определенных лиц из выборки не по индексу, а по определенному свойству Person
, например:
val trav :Traversal[Group, Person] = (groupLens(_.group) composeTraversal filterWith((x :Person) => /*expression of type Boolean here */))
Я нашел только filterIndex
функция, которая включает только элементы из списка на основе индекса, но это не то, что я хочу.
filterIndex
принимает функцию типа: (Int => Boolean)
и я хочу:
filterWith
(придуманное имя), что занимает (x => Boolean)
, где x имеет тип элемента lists, а именно Person
в этом коротком примере.
мне не хватает этой функции, она еще не реализована или просто просто невозможно по какой-либо причине (пожалуйста, объясните, если у вас есть время).
спасибо.
1 ответов
плохая версия
я начну с наивной попытки написать что-то вроде этого. Я использую простую версию списка здесь, но вы можете получить более причудливый (с 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.
Ладно, лучше!
почему это все еще плохо
на "реальных" законов for Traversal
не закодированы в монокле 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
в приличном объективе библиотека, хотя.