arrow-optics / arrow.optics.extensions / ListFilterIndex

ListFilterIndex

interface ListFilterIndex<A> : FilterIndex<List<A>, Int, A>

FilterIndex instance definition for List.

Functions

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

Companion Object Functions

invoke operator fun <A> invoke(): ListFilterIndex<A>
Operator overload to instantiate typeclass instance.