arrow-optics / arrow.optics.extensions / MapKFilterIndex / filter

filter

open fun filter(p: (K) -> Boolean): Traversal<MapK<K, V>, V>

Filter the foci A of a Traversal with the predicate p.

<

Join us at

>

slack.kotlinlang.org #arrow