arrow-optics/arrow.optics/PTraversal/Companion

Companion

object Companion

Functions

codiagonal

fun <S> codiagonal(): Traversal<Either<S, S>, S>

either

@JvmStatic

fun <L, R> either(): Traversal<Either<L, R>, R>

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

fun <S> id(): PTraversal<S, S, S, S>

invoke

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, set: (B, B, S) -> T): PTraversal<S, T, A, B>

PTraversal constructor from multiple getters of the same source.

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, set: (B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, set: (B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, set: (B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, get6: (S) -> A, set: (B, B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, get6: (S) -> A, get7: (S) -> A, set: (B, B, B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, get6: (S) -> A, get7: (S) -> A, get8: (S) -> A, set: (B, B, B, B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, get6: (S) -> A, get7: (S) -> A, get8: (S) -> A, get9: (S) -> A, set: (B, B, B, B, B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

operator fun <S, T, A, B> invoke( get1: (S) -> A, get2: (S) -> A, get3: (S) -> A, get4: (S) -> A, get5: (S) -> A, get6: (S) -> A, get7: (S) -> A, get8: (S) -> A, get9: (S) -> A, get10: (S) -> A, set: (B, B, B, B, B, B, B, B, B, B, S) -> T): PTraversal<S, T, A, B>

list

@JvmStatic

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

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

map

@JvmStatic

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

nonEmptyList

@JvmStatic

fun <A> nonEmptyList(): Traversal<NonEmptyList<A>, A>

Traversal for NonEmptyList that has focus in each A.

option

@JvmStatic

fun <A> option(): Traversal<Option<A>, A>

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

pair

@JvmStatic

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

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

pPair

@JvmStatic

fun <A, B> pPair(): PTraversal<Pair<A, A>, Pair<B, B>, A, B>

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

pTriple

@JvmStatic

fun <A, B> pTriple(): PTraversal<Triple<A, A, A>, Triple<B, B, B>, A, B>

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

pTuple10

@JvmStatic

fun <A, B> pTuple10(): PTraversal<Tuple10<A, A, A, A, A, A, A, A, A, A>, Tuple10<B, B, B, B, B, B, B, B, B, B>, A, B>

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

pTuple4

@JvmStatic

fun <A, B> pTuple4(): PTraversal<Tuple4<A, A, A, A>, Tuple4<B, B, B, B>, A, B>

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

pTuple5

@JvmStatic

fun <A, B> pTuple5(): PTraversal<Tuple5<A, A, A, A, A>, Tuple5<B, B, B, B, B>, A, B>

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

pTuple6

@JvmStatic

fun <A, B> pTuple6(): PTraversal<Tuple6<A, A, A, A, A, A>, Tuple6<B, B, B, B, B, B>, A, B>

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

pTuple7

@JvmStatic

fun <A, B> pTuple7(): PTraversal<Tuple7<A, A, A, A, A, A, A>, Tuple7<B, B, B, B, B, B, B>, A, B>

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

pTuple8

@JvmStatic

fun <A, B> pTuple8(): PTraversal<Tuple8<A, A, A, A, A, A, A, A>, Tuple8<B, B, B, B, B, B, B, B>, A, B>

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

pTuple9

@JvmStatic

fun <A, B> pTuple9(): PTraversal<Tuple9<A, A, A, A, A, A, A, A, A>, Tuple9<B, B, B, B, B, B, B, B, B>, A, B>

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

sequence

@JvmStatic

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

string

@JvmStatic

fun string(): Traversal<String, Char>

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

triple

@JvmStatic

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

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

tuple10

@JvmStatic

fun <A> tuple10(): Traversal<Tuple10<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(): Traversal<Tuple4<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(): Traversal<Tuple5<A, A, A, A, A>, A>

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

tuple6

@JvmStatic

fun <A> tuple6(): Traversal<Tuple6<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(): Traversal<Tuple7<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(): Traversal<Tuple8<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(): Traversal<Tuple9<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

void

fun <S, A> void(): Traversal<S, A>

PTraversal that points to nothing