arrow-optics / arrow.optics.extensions / 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.
modifyF | open fun <F> modifyF(FA: Applicative<F>, s: List <A>, f: (A) -> Kind<F, A>): Kind<F, List <A>> |
invoke | Operator overload to instantiate typeclass instance.operator fun <A> invoke(): ListTraversal <A> |
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> |
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 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 Ifun <T, S, I, A> Traversal <T, S>.index(ID: Index <S, I, A>, i: I): Traversal <T, A> |
Do you like Arrow?
✖