arrow-optics / arrow.optics / PIso / compose

compose

open infix fun <C, D> compose(other: PIso<A, B, C, D>): PIso<S, T, C, D>

Compose a PIso with a PIso

open infix fun <C, D> compose(other: PLens<A, B, C, D>): PLens<S, T, C, D>

Compose a PIso with a PLens

open infix fun <C, D> compose(other: PPrism<A, B, C, D>): PPrism<S, T, C, D>

Compose a PIso with a PPrism

open infix fun <C> compose(other: Getter<A, C>): Getter<S, C>

Compose a PIso with a Getter

open infix fun <C, D> compose(other: PSetter<A, B, C, D>): PSetter<S, T, C, D>

Compose a PIso with a PSetter

open infix fun <C, D> compose(other: POptional<A, B, C, D>): POptional<S, T, C, D>

Compose a PIso with a POptional

open infix fun <C> compose(other: Fold<A, C>): Fold<S, C>

Compose a PIso with a Fold

open infix fun <C, D> compose(other: PTraversal<A, B, C, D>): PTraversal<S, T, C, D>

Compose a PIso with a PTraversal

Do you like Arrow?

Arrow Org
<