arrow-optics/arrow.optics.dsl/every

every

fun <T, S, A> Traversal<T, S>.every(tr: Traversal<S, A>): Traversal<T, A>

DSL to compose Traversal with a Traversal for a structure S to see all its foci A

Receiver

Traversal with a focus in S

Return

Traversal with a focus in A

Parameters

tr

Traversal that can focus into a structure S to see all its foci A

val <T, A> Traversal<T, List<A>>.every: Traversal<T, A>
@get:JvmName(name = "everyRight")
val <T, Error, A> Traversal<T, Either<Error, A>>.every: Traversal<T, A>
@get:JvmName(name = "everyValue")
val <T, K, V> Traversal<T, Map<K, V>>.every: Traversal<T, V>
@get:JvmName(name = "everyNonEmptyList")
val <T, A> Traversal<T, NonEmptyList<A>>.every: Traversal<T, A>
@get:JvmName(name = "everySome")
val <T, A> Traversal<T, Option<A>>.every: Traversal<T, A>
@get:JvmName(name = "everySequence")
val <T, A> Traversal<T, Sequence<A>>.every: Traversal<T, A>
@get:JvmName(name = "everyChar")
val <T> Traversal<T, String>.every: Traversal<T, Char>