package dune

  1. Overview
  2. Docs

Result type

type ('a, 'error) t = ('a, 'error) 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
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 errorf : ('a, unit, string, (_, string) t) format4 -> 'a

Produce Error <message>

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

For compatibility with some other code

module List : sig ... end
OCaml

Innovation. Community. Security.