Loko.Either
val map :
( 'SL, 'FL, 'GL, 'TL ) optic ->
( 'SR, 'FR, 'GR, 'TR ) optic ->
( ( 'SL, 'SR ) Stdlib.Either.t,
( 'FL, 'FR ) Stdlib.Either.t,
( 'GL, 'GR ) Stdlib.Either.t,
( 'TL, 'TR ) Stdlib.Either.t )
optic
An isomorphism between eithers.
val on_left :
( ( 'F, 'S ) Stdlib.Either.t, 'F, 'G, ( 'G, 'S ) Stdlib.Either.t ) optic
A prism that focuses on Left
.
val on_right :
( ( 'S, 'F ) Stdlib.Either.t, 'F, 'G, ( 'S, 'G ) Stdlib.Either.t ) optic
A prism that focuses on Right
.