arrow-optics / arrow.optics.extensions / SequenceKFilterIndex

SequenceKFilterIndex

@extension interface SequenceKFilterIndex<A> : FilterIndex<SequenceK<A>, Int, A>

FilterIndex instance definition for SequenceK.

Functions

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