arrow-optics / arrow.optics / PIso / split

split

open infix fun <S1, T1, A1, B1> split(other: PIso<S1, T1, A1, B1>): PIso<Tuple2<S, S1>, Tuple2<T, T1>, Tuple2<A, A1>, Tuple2<B, B1>>

Pair two disjoint PIso

Do you like Arrow?

Arrow Org
<