Extension of Core's Result. Internal use only.
include module type of Core_kernel.Resultinclude Bin_prot.Binable.S2 with type ('a, 'b) t := ('a, 'b) tval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writerval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.readerval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.tinclude Ppx_sexp_conv_lib.Sexpable.S2 with type ('a, 'b) t := ('a, 'b) tinclude module type of Base.Result with type ('a, 'b) t := ('a, 'b) tinclude Base.Sexpable.S2 with type ('ok, 'err) t := ('ok, 'err) tval t_of_sexp :
(Base.Sexp.t -> 'a) ->
(Base.Sexp.t -> 'b) ->
Base.Sexp.t ->
('a, 'b) tval sexp_of_t :
('a -> Base.Sexp.t) ->
('b -> Base.Sexp.t) ->
('a, 'b) t ->
Base.Sexp.tval hash_fold_t :
(Base.Hash.state -> 'ok -> Base.Hash.state) ->
(Base.Hash.state -> 'err -> Base.Hash.state) ->
Base.Hash.state ->
('ok, 'err) t ->
Base.Hash.stateinclude Base.Monad.S2 with type ('a, 'err) t := ('a, 'err) tmodule Let_syntax = Base.Result.Let_syntaxmodule Monad_infix = Base.Result.Monad_infixval return : 'a -> ('a, _) tval fail : 'err -> (_, 'err) te.g., failf "Couldn't find bloogle %s" (Bloogle.to_string b).
val is_ok : (_, _) t -> boolval is_error : (_, _) t -> boolval ok : ('ok, _) t -> 'ok optionval ok_exn : ('ok, exn) t -> 'okval ok_or_failwith : ('ok, string) t -> 'okval error : (_, 'err) t -> 'err optionval of_option : 'ok option -> error:'err -> ('ok, 'err) tval iter : ('ok, _) t -> f:('ok -> unit) -> unitval iter_error : (_, 'err) t -> f:('err -> unit) -> unitval combine :
('ok1, 'err) t ->
('ok2, 'err) t ->
ok:('ok1 -> 'ok2 -> 'ok3) ->
err:('err -> 'err -> 'err) ->
('ok3, 'err) tReturns Ok if both are Ok and Error otherwise.
combine_errors ts returns Ok if every element in ts is Ok, else it returns Error with all the errors in ts.
This is similar to all from Monad.S2, with the difference that all only returns the first error.
combine_errors_unit returns Ok if every element in ts is Ok (), else it returns Error with all the errors in ts, like combine_errors.
val ok_fst : ('ok, 'err) t -> [ `Fst of 'ok | `Snd of 'err ]ok_fst is useful with List.partition_map. Continuing the above example:
let rics, errors = List.partition_map ~f:Result.ok_fst
(List.map ~f:ric_of_ticker ["AA"; "F"; "CSCO"; "AAPL"]) val ok_if_true : bool -> error:'err -> (unit, 'err) tok_if_true returns Ok () if bool is true, and Error error if it is false.
val try_with : (unit -> 'a) -> ('a, exn) tval ok_unit : (unit, _) tok_unit = Ok (), used to avoid allocation as a performance hack.
module Export = Base.Result.Exportmodule Stable = Core_kernel.Result.Stablemodule List : sig ... end