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