arrow-optics / arrow.optics.extensions / SequenceKFilterIndex
SequenceKFilterIndex
interface ~~SequenceKFilterIndex~~<A> : FilterIndex<SequenceK<A>, Int, A>
Deprecated: Typeclass interface implementation will not be exposed directly anymore.
FilterIndex instance definition for SequenceK.
Functions
| filter | Filter the foci A of a Traversal with the predicate p.open fun filter(p: (Int) -> Boolean): Traversal<SequenceK<A>, A> |