Arrow
1.1.5
arrow-optics
/
arrow.optics
/
PIso
/
reverse
reverse
open
fun
reverse
(
)
:
PIso
<
B
,
A
,
T
,
S
>
(
source
)
Reverse a
PIso
: the source becomes the target and the target becomes the source