arrow-optics / arrow.optics.extensions.listk.filterIndex / filter

filter

@JvmName("filter") fun <A> filter(p: (Int) -> Boolean): PTraversal<ListK<A>, ListK<A>, A, A>