arrow-optics / arrow.optics.extensions / NonEmptyListFilterIndex

NonEmptyListFilterIndex

@extension interface NonEmptyListFilterIndex<A> : FilterIndex<NonEmptyList<A>, Int, A>

FilterIndex instance definition for NonEmptyList.

Functions

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