arrow-optics / arrow.optics / Traversal

Traversal

typealias Traversal<S, A> = PTraversal<S, S, A, A>

Traversal is a type alias for PTraversal which fixes the type arguments and restricts the PTraversal to monomorphic updates.

Inheritors

ListTraversal interface ListTraversal<A> : Traversal<List<A>, A>
Traversal for List that focuses in each A of the source List.
MapTraversal interface MapTraversal<K, V> : Traversal<Map<K, V>, V>
Traversal for Map that focuses in each V of the source Map.