module Result:sig
..end
type ('a, 'b)
t =
| |
Ok of |
| |
Error of |
include Sexpable.S2
val bind : ('a, 'b) t -> ('a -> ('c, 'b) t) -> ('c, 'b) t
val return : 'a -> ('a, 'b) t
val is_ok : ('a, 'b) t -> bool
val is_error : ('a, 'b) t -> bool
val iter : f:('a -> unit) -> ('a, 'b) t -> unit
val map : f:('a -> 'b) -> ('a, 'c) t -> ('b, 'c) t
val call : f:('a -> unit, 'b) t -> 'a -> unit
val apply : f:('a -> 'b, 'c) t -> 'a -> ('b, 'c) t