60 lines
1.5 KiB
OCaml
60 lines
1.5 KiB
OCaml
let ( let* ) o f = match o with Ok v -> f v | Error _ as e -> e
|
|
let ( let+ ) o f = match o with Ok v -> Ok (f v) | Error _ as e -> e
|
|
|
|
(* TODO better errors
|
|
use polymorphic variant for errors
|
|
use GANA error codes:
|
|
https://git.gnunet.org/gana.git/tree/gnu-taler-error-codes/registry.rec *)
|
|
let unwrap_err_msg o = match o with Error (`Msg e) -> Error e | Ok v -> Ok v
|
|
|
|
let unwrap_err_caqti o =
|
|
match o with Error err -> Fmt.error "%a" Caqti_error.pp err | Ok v -> Ok v
|
|
|
|
let list_iter f l =
|
|
let err = ref None in
|
|
try
|
|
List.iter
|
|
(fun v ->
|
|
match f v with
|
|
| Error _e as e ->
|
|
err := Some e;
|
|
raise Exit
|
|
| Ok () -> ())
|
|
l;
|
|
Ok ()
|
|
with Exit -> ( match !err with None -> assert false | Some v -> v)
|
|
|
|
let list_map f l =
|
|
let err = ref None in
|
|
try
|
|
Ok
|
|
(List.map
|
|
(fun v ->
|
|
match f v with
|
|
| Error _e as e ->
|
|
err := Some e;
|
|
raise Exit
|
|
| Ok v -> v)
|
|
l)
|
|
with Exit -> ( match !err with None -> assert false | Some v -> v)
|
|
|
|
let list_filter_map f l =
|
|
let err = ref None in
|
|
try
|
|
Ok
|
|
(List.filter_map
|
|
(fun v ->
|
|
match f v with
|
|
| Error _e as e ->
|
|
err := Some e;
|
|
raise Exit
|
|
| Ok v -> v)
|
|
l)
|
|
with Exit -> ( match !err with None -> assert false | Some v -> v)
|
|
|
|
let list_fold_left f acc l =
|
|
List.fold_left
|
|
(fun acc v ->
|
|
let* acc = acc in
|
|
f acc v)
|
|
(Ok acc) l
|