arrow-optics / arrow.optics.extensions / SequenceKFilterIndex / filter

filter

open fun filter(p: (Int) -> Boolean): Traversal<SequenceK<A>, A>

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

<

Join us at

>

slack.kotlinlang.org #arrow