sig
type ('a, 'b) t = ('a, 'b) Rresult.result
val ok : 'a -> ('a, 'b) Rresult.result
val error : 'b -> ('a, 'b) Rresult.result
val reword_error :
('b -> 'c) -> ('a, 'b) Rresult.result -> ('a, 'c) Rresult.result
val get_ok : ('a, 'b) Rresult.result -> 'a
val get_error : ('a, 'b) Rresult.result -> 'b
val pp :
pp_ok:(Format.formatter -> 'a -> unit) ->
pp_error:(Format.formatter -> 'b -> unit) ->
Format.formatter -> ('a, 'b) Rresult.result -> unit
val return : 'a -> ('a, 'b) Rresult.result
val fail : 'b -> ('a, 'b) Rresult.result
val bind :
('a, 'b) Rresult.result ->
('a -> ('a, 'b) Rresult.result) -> ('a, 'b) Rresult.result
val map : ('a, 'b) Rresult.result -> ('a -> 'c) -> ('c, 'b) Rresult.result
val join :
(('a, 'b) Rresult.result, 'b) Rresult.result -> ('a, 'b) Rresult.result
val ( >>= ) :
('a, 'b) Rresult.result ->
('a -> ('c, 'b) Rresult.result) -> ('c, 'b) Rresult.result
val ( >>| ) :
('a, 'b) Rresult.result -> ('a -> 'c) -> ('c, 'b) Rresult.result
module Infix :
sig
val ( >>= ) :
('a, 'b) Rresult.result ->
('a -> ('c, 'b) Rresult.result) -> ('c, 'b) Rresult.result
val ( >>| ) :
('a, 'b) Rresult.result -> ('a -> 'c) -> ('c, 'b) Rresult.result
end
type msg = [ `Msg of string ]
val msg : string -> [> Rresult.R.msg ]
val msgf :
('a, Format.formatter, unit, [> Rresult.R.msg ]) Pervasives.format4 -> 'a
val pp_msg : Format.formatter -> Rresult.R.msg -> unit
val error_msg : string -> ('a, [> Rresult.R.msg ]) Rresult.result
val error_msgf :
('a, Format.formatter, unit, ('b, [> Rresult.R.msg ]) Rresult.result)
Pervasives.format4 -> 'a
val reword_error_msg :
?replace:bool ->
(string -> Rresult.R.msg) ->
('a, Rresult.R.msg) Rresult.result ->
('a, [> Rresult.R.msg ]) Rresult.result
val error_to_msg :
pp_error:(Format.formatter -> 'b -> unit) ->
('a, 'b) Rresult.result -> ('a, [> Rresult.R.msg ]) Rresult.result
val error_msg_to_invalid_arg : ('a, Rresult.R.msg) Rresult.result -> 'a
val open_error_msg :
('a, Rresult.R.msg) Rresult.result ->
('a, [> Rresult.R.msg ]) Rresult.result
type exn_trap = [ `Exn_trap of exn * Printexc.raw_backtrace ]
val pp_exn_trap : Format.formatter -> Rresult.R.exn_trap -> unit
val trap_exn :
('a -> 'b) -> 'a -> ('b, [> Rresult.R.exn_trap ]) Rresult.result
val error_exn_trap_to_msg :
('a, Rresult.R.exn_trap) Rresult.result ->
('a, [> Rresult.R.msg ]) Rresult.result
val open_error_exn_trap :
('a, Rresult.R.exn_trap) Rresult.result ->
('a, [> Rresult.R.exn_trap ]) Rresult.result
val is_ok : ('a, 'b) Rresult.result -> bool
val is_error : ('a, 'b) Rresult.result -> bool
val equal :
ok:('a -> 'a -> bool) ->
error:('b -> 'b -> bool) ->
('a, 'b) Rresult.result -> ('a, 'b) Rresult.result -> bool
val compare :
ok:('a -> 'a -> int) ->
error:('b -> 'b -> int) ->
('a, 'b) Rresult.result -> ('a, 'b) Rresult.result -> int
val to_option : ('a, 'b) Rresult.result -> 'a option
val of_option :
none:(unit -> ('a, 'b) Rresult.result) ->
'a option -> ('a, 'b) Rresult.result
val to_presult : ('a, 'b) Rresult.result -> [> `Error of 'b | `Ok of 'a ]
val of_presult : [< `Error of 'b | `Ok of 'a ] -> ('a, 'b) Rresult.result
val ignore_error : use:'a -> ('a, 'b) Rresult.result -> 'a
val kignore_error :
use:('a, 'c) Rresult.result ->
('a, 'b) Rresult.result -> ('a, 'c) Rresult.result
val bool_of_string : string -> bool option
val int_of_string : string -> int option
val nativeint_of_string : string -> nativeint option
val int32_of_string : string -> int32 option
val int64_of_string : string -> int64 option
val float_of_string : string -> float option
end