Module 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.