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