R (u.2ed8077b44206df82c85ea4a6c469777.bos.0.2.1.doc.bos.setup.Bos

include module type of struct include Rresult.R end

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 return : 'a -> ('a, 'b) Rresult.result

val fail : 'b -> ('a, 'b) Rresult.result

val bind : 
  ('a, 'b) Rresult.result ->
  ('a -> ('c, 'b) Rresult.result) ->
  ('c, 'b) Rresult.result

val map : ('a -> 'c) -> ('a, 'b) Rresult.result -> ('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 = Rresult.R.Infix

type msg = [

| `Msg of string

]

val msg : string -> [> msg ]

val msgf : ('a, Format.formatter, unit, [> msg ]) format4 -> 'a

val pp_msg : Format.formatter -> msg -> unit

val error_msg : string -> ('a, [> msg ]) Rresult.result

val error_msgf : 
  ('a, Format.formatter, unit, ('b, [> msg ]) Rresult.result) format4 ->
  'a

val reword_error_msg : 
  ?replace:bool ->
  (string -> msg) ->
  ('a, msg) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val error_to_msg : 
  pp_error:(Format.formatter -> 'b -> unit) ->
  ('a, 'b) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val error_msg_to_invalid_arg : ('a, msg) Rresult.result -> 'a

val open_error_msg : ('a, msg) Rresult.result -> ('a, [> msg ]) Rresult.result

val failwith_error_msg : ('a, msg) Rresult.result -> 'a

type exn_trap = [

| `Exn_trap of exn * Printexc.raw_backtrace

]

val pp_exn_trap : Format.formatter -> exn_trap -> unit

val trap_exn : ('a -> 'b) -> 'a -> ('b, [> exn_trap ]) Rresult.result

val error_exn_trap_to_msg : 
  ('a, exn_trap) Rresult.result ->
  ('a, [> msg ]) Rresult.result

val open_error_exn_trap : 
  ('a, exn_trap) Rresult.result ->
  ('a, [> exn_trap ]) Rresult.result

val pp : 
  ok:(Format.formatter -> 'a -> unit) ->
  error:(Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) Rresult.result ->
  unit

val dump : 
  ok:(Format.formatter -> 'a -> unit) ->
  error:(Format.formatter -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b) Rresult.result ->
  unit

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:('b -> 'a) -> ('a, 'b) Rresult.result -> 'a

val kignore_error : 
  use:('b -> ('a, 'c) Rresult.result) ->
  ('a, 'b) Rresult.result ->
  ('a, 'c) Rresult.result