arrow-optics / arrow.optics.extensions / MapTraversal

MapTraversal

interface ~~MapTraversal~~<K, V> : Traversal<Map<K, V>, V> Deprecated: Typeclass interface implementation will not be exposed directly anymore.

Traversal for Map that focuses in each V of the source Map.

Functions

modifyF open fun <F> modifyF(FA: Applicative<F>, s: Map<K, V>, f: (V) -> Kind<F, V>): Kind<F, Map<K, V>>

Companion Object Functions

invoke Operator overload to instantiate typeclass instance.operator fun <K, V> invoke(): MapTraversal<K, V>

Extension Properties

some	DSL to compose a Prism with focus arrow.core.Some with a Traversal with a focus of Option<S>`val <T, S>` `Traversal<T, Option<S>>.some:` `Traversal<T, S>`

Extension Functions

at	DSL to compose At with a Traversal for a structure S to focus in on A at given index I.`fun <T, S, I, A>` `Traversal<T, S>.at(AT:` `At<S, I, A>, i: I):` `Traversal<T, A>`
every	DSL to compose Each with a Traversal for a structure S to see all its foci A`fun <T, S, A>` `Traversal<T, S>.~~every~~(EA:` `Each<S, A>):` `Traversal<T, A>` DSL to compose Traversal with a Traversal for a structure S to see all its foci A`fun <T, S, A>` `Traversal<T, S>.every(TR:` `Traversal<S, A>):` `Traversal<T, A>`
index	DSL to compose Index with a Traversal for a structure S to focus in on A at given index I`fun <T, S, I, A>` `Traversal<T, S>.index(ID:` `Index<S, I, A>, i: I):` `Traversal<T, A>`