Module Utils.EitherMonadSource

Sourcetype ('a, 'b) t =
  1. | Left of 'a
  2. | Right of 'b
Sourceval return : 'a -> ('b, 'c) t
Sourceval return_left : 'a -> ('b, 'c) t
Sourceval bind : ('a, 'b) t -> ('c -> ('d, 'e) t) -> ('d, 'e) t
Sourceval bind_left : ('a, 'b) t -> ('c -> ('d, 'e) t) -> ('d, 'e) t
val (>>=) : ('a, 'b) t -> ('b -> ('a, 'c) t) -> ('a, 'c) t
Sourceval of_option : left:'a -> 'b option -> ('c, 'd) t
Sourceval of_result : ('a, 'b) Result.result -> ('c, 'd) t