arrow-optics / arrow.optics / POptional / compose

compose

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

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

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

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

Compose a POptional with a PIso

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

Compose a POptional with a Fold

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

Compose a POptional with a PTraversal