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

filter

abstract fun filter(p: <ERROR CLASS><I>): Every<S, A>
Content copied to clipboard

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