toggle menu
Arrow
1.2.4
common
switch theme
search in API
arrow-optics
/
arrow.optics
/
PLens
/
split
split
open
infix
fun
<
S1
,
T1
,
A1
,
B1
>
split
(
other
:
PLens
<
S1
,
T1
,
A1
,
B1
>
)
:
PLens
<
Pair
<
S
,
S1
>
,
Pair
<
T
,
T1
>
,
Pair
<
A
,
A1
>
,
Pair
<
B
,
B1
>
>
(
source
)
Pair two disjoint
PLens