arrow-optics/arrow.optics.typeclasses/FilterIndex/filter

filter

abstract fun filter(p: Predicate<I>): Every<S, A>

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