module Either:sig..end
Either.t represents value of two exclusive possibilities
type ('l, 'r) t =
| |
Left of |
| |
Right of |
val _Left : 'a -> ('a, 'b) t
val _Right : 'a -> ('b, 'a) t
include Monad.S2
val bimap : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t
val fold : ('a -> 'b) -> ('c -> 'b) -> ('a, 'c) t -> 'b
val swap : ('a, 'b) t -> ('b, 'a) t
val maybe_left : ('a, 'b) t -> 'a option
val maybe_right : ('a, 'b) t -> 'b option