package dune

  1. Overview
  2. Docs

Result type

type ('a, 'error) t = ('a, 'error) Dune_caml.result =
  1. | Ok of 'a
  2. | Error of 'error
val ok : 'a -> ('a, _) t
val is_ok : (_, _) t -> bool
val is_error : (_, _) t -> bool
val ok_exn : ('a, exn) t -> 'a
val try_with : (unit -> 'a) -> ('a, exn) t
val equal : ('a -> 'a -> bool) -> ('b -> 'b -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool
val hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int
module O : sig ... end
val map : ('a, 'error) t -> f:('a -> 'b) -> ('b, 'error) t
val bind : ('a, 'error) t -> f:('a -> ('b, 'error) t) -> ('b, 'error) t
val map_error : ('a, 'error1) t -> f:('error1 -> 'error2) -> ('a, 'error2) t
val to_option : ('a, 'error) t -> 'a option
val to_dyn : 'a Dyn.Encoder.t -> 'error Dyn.Encoder.t -> ('a, 'error) t Dyn.Encoder.t
val errorf : ('a, unit, string, (_, string) t) Pervasives.format4 -> 'a

Produce Error <message>

type ('a, 'error) result = ('a, 'error) t

For compatibility with some other code

module List : sig ... end
module Option : sig ... end
OCaml

Innovation. Community. Security.