Companion

Functions

Link copied to clipboard
fun <S> codiagonal(): Fold<Either<S, S>, S>

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

Link copied to clipboard
fun <L, R> either(): Fold<Either<L, R>, R>

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

Link copied to clipboard
fun <A> id(): Fold<A, A>
Link copied to clipboard
Link copied to clipboard
fun <A> list(): Fold<List<A>, A>

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

Link copied to clipboard
fun <K, V> map(): Fold<Map<K, V>, V>
Link copied to clipboard

Traversal for NonEmptyList that has focus in each A.

Link copied to clipboard

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

Link copied to clipboard
fun <A> pair(): Fold<Pair<A, A>, A>

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

Link copied to clipboard
fun <S> select(p: (S) -> Boolean): Fold<S, S>

Creates a Fold based on a predicate of the source S

Link copied to clipboard
Link copied to clipboard

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

Link copied to clipboard
fun <A> triple(): Fold<Triple<A, A, A>, A>

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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
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

Link copied to clipboard
fun <A, B> void(): Fold<A, B>

Fold that points to nothing