Module Odoc_utils.EitherMonadSource
Sourcetype ('a, 'b) t = | Left of 'a| Right of 'b
Sourceval return : 'a -> ('b, 'a) t Sourceval return_left : 'a -> ('a, 'b) t Sourceval bind : ('a, 'b) t -> ('b -> ('a, 'c) t) -> ('a, 'c) t Sourceval bind_left : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t Sourceval (>>=) : ('a, 'b) t -> ('b -> ('a, 'c) t) -> ('a, 'c) t Sourceval of_option : left:'a -> 'b option -> ('a, 'b) t