Gemini.Result
Result specification when deserializing raw json into something in strongly typed ocaml.
include module type of struct include Core.Result end
val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Size.sizer2
val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Write.writer2
val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Read.reader2
val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot__.Read.reader2
val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.writer
val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.reader
val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot__.Type_class.S2.t
val t_of_sexp :
(Sexplib0__.Sexp.t -> 'a) ->
(Sexplib0__.Sexp.t -> 'b) ->
Sexplib0__.Sexp.t ->
('a, 'b) t
val sexp_of_t :
('a -> Sexplib0__.Sexp.t) ->
('b -> Sexplib0__.Sexp.t) ->
('a, 'b) t ->
Sexplib0__.Sexp.t
val t_sexp_grammar :
'ok Sexplib0.Sexp_grammar.t ->
'err Sexplib0.Sexp_grammar.t ->
('ok, 'err) t Sexplib0.Sexp_grammar.t
val compare :
'a Base__Ppx_compare_lib.compare ->
'b Base__Ppx_compare_lib.compare ->
('a, 'b) t Base__Ppx_compare_lib.compare
val equal :
'a Base__Ppx_compare_lib.equal ->
'b Base__Ppx_compare_lib.equal ->
('a, 'b) t Base__Ppx_compare_lib.equal
val hash_fold_t :
'a Base__Ppx_hash_lib.hash_fold ->
'b Base__Ppx_hash_lib.hash_fold ->
('a, 'b) t Base__Ppx_hash_lib.hash_fold
val return : 'a -> ('a, 'b) t
val invariant :
'a Base__Invariant_intf.inv ->
'b Base__Invariant_intf.inv ->
('a, 'b) t Base__Invariant_intf.inv
val fail : 'err -> ('a, 'err) t
val failf : ('a, unit, string, ('b, string) t) Stdlib.format4 -> 'a
val is_ok : ('a, 'b) t -> bool
val is_error : ('a, 'b) t -> bool
val ok : ('ok, 'a) t -> 'ok option
val ok_exn : ('ok, exn) t -> 'ok
val ok_or_failwith : ('ok, string) t -> 'ok
val error : ('a, 'err) t -> 'err option
val of_option : 'ok option -> error:'err -> ('ok, 'err) t
val iter : ('ok, 'a) t -> f:('ok -> unit) -> unit
val iter_error : ('a, 'err) t -> f:('err -> unit) -> unit
val to_either : ('ok, 'err) t -> ('ok, 'err) Base__.Either0.t
val of_either : ('ok, 'err) Base__.Either0.t -> ('ok, 'err) t
val ok_fst : ('ok, 'err) t -> ('ok, 'err) Base__.Either0.t
val ok_if_true : bool -> error:'err -> (unit, 'err) t
val try_with : (unit -> 'a) -> ('a, exn) t
val both :
('a, 'error) Core.Result.t ->
('b, 'error0) Core.Result.t ->
('a0 * 'b0, 'error1) t
Unify results into tuple ('a , 'b)
if both are ok, otherwise produce one of the errors .