arrow-optics / arrow.optics.extensions / ListKFilterIndex

ListKFilterIndex

@extension interface ListKFilterIndex<A> : FilterIndex<ListK<A>, Int, A>

FilterIndex instance definition for ListK.

Functions

filter open fun filter(p: (Int) -> Boolean): Traversal<ListK<A>, A>
Filter the foci A of a Traversal with the predicate p.