arrow-optics / arrow.optics.extensions / ListTraversal

ListTraversal

interface ~~ListTraversal~~<A> : Traversal<List<A>, A> Deprecated: Typeclass interface implementation will not be exposed directly anymore.

Traversal for List that focuses in each A of the source List.

Functions

modifyF open fun <F> modifyF(FA: Applicative<F>, s: List<A>, f: (A) -> Kind<F, A>): Kind<F, List<A>>

Companion Object Functions

invoke Operator overload to instantiate typeclass instance.operator fun <A> invoke(): ListTraversal<A>

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 Afun <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 Afun <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 Ifun <T, S, I, A> Traversal<T, S>.index(ID: Index<S, I, A>, i: I): Traversal<T, A>

Do you like Arrow?

Arrow Org
<