arrow-optics / arrow.optics.extensions / MapKFilterIndex

MapKFilterIndex

@extension interface MapKFilterIndex<K, V> : FilterIndex<MapK<K, V>, K, V>

FilterIndex instance definition for Map.

Functions

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