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 | Traversal for List that focuses in each A of the source List.interface ~~ListTraversal~~<A> : Traversal<List<A>, A> |
| MapTraversal | Traversal for Map that focuses in each V of the source Map.interface ~~MapTraversal~~<K, V> : Traversal<Map<K, V>, V> |