arrow-optics/arrow.optics/Fold/Companion

Companion

object Companion

Functions

codiagonal

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

Fold that takes either S or S and strips the choice of S.

either

@JvmStatic

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

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

fun <A> id(): Fold<A, A>

iterable

@JvmStatic

fun <A> iterable(): Fold<Iterable<A>, A>

list

@JvmStatic

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

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

map

@JvmStatic

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

nonEmptyList

@JvmStatic

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

Traversal for NonEmptyList that has focus in each A.

option

@JvmStatic

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

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

pair

@JvmStatic

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

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

select

fun <S> select(p: (S) -> Boolean): Fold<S, S>

Creates a Fold based on a predicate of the source S

sequence

@JvmStatic

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

string

@JvmStatic

fun string(): Fold<String, Char>

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

triple

@JvmStatic

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

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

tuple10

@JvmStatic

fun <A> tuple10(): Fold<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(): Fold<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(): Fold<Tuple5<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(): Fold<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(): Fold<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(): Fold<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(): Fold<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 <A, B> void(): Fold<A, B>

Fold that points to nothing