arrow-optics/arrow.optics/PEvery/Companion

Companion

object Companion

Functions

either

@JvmStatic

fun <L, R> either(): Every<<ERROR CLASS><L, R>, R>

Traversal for Either that has focus in each Either.Right.

from

fun <S, A> from(T: Traversal<S, A>, F: Fold<S, A>): Every<S, A>

list

@JvmStatic

fun <A> list(): Every<List<A>, A>

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

map

@JvmStatic

fun <K, V> map(): Every<Map<K, V>, V>

nonEmptyList

@JvmStatic

fun <A> nonEmptyList(): Every<<ERROR CLASS><A>, A>

Traversal for NonEmptyList that has focus in each A.

option

@JvmStatic

fun <A> option(): Every<<ERROR CLASS><A>, A>

Traversal for Option that has focus in each arrow.core.Some.

pair

@JvmStatic

fun <A> pair(): Every<Pair<A, A>, A>

Traversal to focus into the first and second value of a Pair

sequence

@JvmStatic

fun <A> sequence(): Every<Sequence<A>, A>

string

@JvmStatic

fun string(): Every<String, Char>

Traversal for String that focuses in each Char of the source String.

triple

@JvmStatic

fun <A> triple(): Every<Triple<A, A, A>, A>

Traversal to focus into the first, second and third value of a Triple

tuple10

@JvmStatic

fun <A> tuple10(): Every<<ERROR CLASS><A, A, A, A, A, A, A, A, A, A>, A>

Traversal to focus into the first, second, third, fourth, fifth, sixth, seventh, eight, ninth and tenth value of a arrow.core.Tuple10

tuple4

@JvmStatic

fun <A> tuple4(): Every<<ERROR CLASS><A, A, A, A>, A>

Traversal to focus into the first, second, third and fourth value of a arrow.core.Tuple4

tuple5

@JvmStatic

fun <A> tuple5(): Every<<ERROR CLASS><A, A, A, A, A>, A>

PTraversal to focus into the first, second, third, fourth and fifth value of a arrow.core.Tuple5

tuple6

@JvmStatic

fun <A> tuple6(): Every<<ERROR CLASS><A, A, A, A, A, A>, A>

Traversal to focus into the first, second, third, fourth, fifth and sixth value of a arrow.core.Tuple6

tuple7

@JvmStatic

fun <A> tuple7(): Every<<ERROR CLASS><A, A, A, A, A, A, A>, A>

Traversal to focus into the first, second, third, fourth, fifth, sixth and seventh value of a arrow.core.Tuple7

tuple8

@JvmStatic

fun <A> tuple8(): Every<<ERROR CLASS><A, A, A, A, A, A, A, A>, A>

Traversal to focus into the first, second, third, fourth, fifth, sixth, seventh and eight value of a arrow.core.Tuple8

tuple9

@JvmStatic

fun <A> tuple9(): Every<<ERROR CLASS><A, A, A, A, A, A, A, A, A>, A>

Traversal to focus into the first, second, third, fourth, fifth, sixth, seventh, eight and ninth value of a arrow.core.Tuple9