arrow-optics/arrow.optics.typeclasses/FilterIndex

FilterIndex

fun interface FilterIndex<S, I, A>(source)

FilterIndex provides a Every for a structure S with all its foci A whose index I satisfies a predicate.

Parameters

S

source of Every

I

index that uniquely identifies every focus of the Every

A

focus that is supposed to be unique for a given pair S and I

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
abstract fun filter(p: Predicate<I>): Every<S, A>

Filter the foci A of a Every with the predicate p.