package links

  1. Overview
  2. Docs
include module type of struct include Result end
type (!'a, !'e) t = ('a, 'e) Stdlib.result =
  1. | Ok of 'a
  2. | Error of 'e
val ok : 'a -> ('a, 'e) Stdlib.result
val value : ('a, 'e) Stdlib.result -> default:'a -> 'a
val get_ok : ('a, 'e) Stdlib.result -> 'a
val get_error : ('a, 'e) Stdlib.result -> 'e
val join : (('a, 'e) Stdlib.result, 'e) Stdlib.result -> ('a, 'e) Stdlib.result
val fold : ok:('a -> 'c) -> error:('e -> 'c) -> ('a, 'e) Stdlib.result -> 'c
val iter : ('a -> unit) -> ('a, 'e) Stdlib.result -> unit
val iter_error : ('e -> unit) -> ('a, 'e) Stdlib.result -> unit
val equal : ok:('a -> 'a -> bool) -> error:('e -> 'e -> bool) -> ('a, 'e) Stdlib.result -> ('a, 'e) Stdlib.result -> bool
val compare : ok:('a -> 'a -> int) -> error:('e -> 'e -> int) -> ('a, 'e) Stdlib.result -> ('a, 'e) Stdlib.result -> int
val to_option : ('a, 'e) Stdlib.result -> 'a option
val to_list : ('a, 'e) Stdlib.result -> 'a list
val to_seq : ('a, 'e) Stdlib.result -> 'a Stdlib.Seq.t
type (!'a, !'b) result = ('a, 'b) Stdlib.Result.t =
  1. | Ok of 'a
  2. | Error of 'b
val return : 'a -> ('a, 'b) Result.result
val error : 'a -> ('b, 'a) Result.result
val bind : ('a, 'b) Result.result -> f:('a -> ('c, 'b) Result.result) -> ('c, 'b) Result.result
val map : ('a, 'b) Result.result -> f:('a -> 'c) -> ('c, 'b) Result.result
val ok_exn : ('a, 'b) Result.result -> 'a
val ok_internal : ('a, 'b) Result.result -> pp:(Stdlib.Format.formatter -> 'b -> unit) -> 'a
val of_option : 'a option -> error:('a option -> ('a, 'b) Result.result) -> ('a, 'b) Result.result
val try_with : (unit -> 'a) -> ('a, exn) Result.result
val map_error : f:('a -> 'b) -> ('c, 'a) result -> ('c, 'b) Result.result
val of_bool : bool -> error:'a -> (unit, 'a) Result.result
val unpack_error_exn : ('a, 'b) result -> 'b
val is_ok : ('a, 'b) result -> bool
val is_error : ('a, 'b) result -> bool
module O : sig ... end
OCaml

Innovation. Community. Security.