arrow-optics / arrow.optics.extensions / StringFilterIndex / filter

filter

open fun filter(p: (Int) -> Boolean): Traversal<String, Char>

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

<

Join us at

>

slack.kotlinlang.org #arrow