package tezos-lwt-result-stdlib
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=296bb5674bc6050afe6330326fbdd0dfc2255d414bfd6b79cc7666ac6b39316d
sha512=c061cd300a9410300851158d77bf8e56ca3c568b0b1161b38305e5b2efdcd9c746d391f832fdb2826f9a1d6babce10a9b764a4b04f5df42699f7314b9863123a
doc/bare_structs/Bare_structs/Map/Make/index.html
Module Map.MakeSource
Parameters
Signature
val empty : 'a tval is_empty : 'a t -> boolval iter_e :
(key -> 'a -> (unit, 'trace) Stdlib.result) ->
'a t ->
(unit, 'trace) Stdlib.resultiter_e f m applies f to the bindings of m one by one in an unspecified order. If all the applications result in Ok (), then the result of the iteration is Ok (). If any of the applications results in Error e then the iteration stops and the result of the iteration is Error e.
val iter_es :
(key -> 'a -> (unit, 'trace) Stdlib.result Lwt.t) ->
'a t ->
(unit, 'trace) Stdlib.result Lwt.titer_es f m applies f to the bindings of m in an unspecified order, one after the other as the promises resolve. If all the applications result in Ok (), then the result of the iteration is Ok (). If any of the applications results in Error e then the iteration stops and the result of the iteration is Error e.
val iter_ep :
(key -> 'a -> (unit, 'error) Stdlib.result Lwt.t) ->
'a t ->
(unit, 'error list) Stdlib.result Lwt.titer_ep f m applies f to the bindings of m. All the applications are done concurrently. If all the applications result in Ok (), then the result of the iteration is Ok (). If any of the applications results in Error e then the result of the iteration is Error e.
fold f m init is
let acc = f k1 d1 init in
let acc = f k2 d2 acc in
let acc = f k3 d3 acc in
…where kN is the key bound to dN in m.
val fold_e :
(key -> 'a -> 'b -> ('b, 'trace) Stdlib.result) ->
'a t ->
'b ->
('b, 'trace) Stdlib.resultfold_e f m init is
let open Result_syntax in
let* acc = f k1 d1 init in
let* acc = f k2 d2 acc in
let* acc = f k3 d3 acc in
…where kN is the key bound to dN in m.
fold_s f m init is
let open Lwt_syntax in
let* acc = f k1 d1 init in
let* acc = f k2 d2 acc in
let* acc = f k3 d3 acc in
…where kN is the key bound to dN in m.
val fold_es :
(key -> 'a -> 'b -> ('b, 'trace) Stdlib.result Lwt.t) ->
'a t ->
'b ->
('b, 'trace) Stdlib.result Lwt.tfold_es f m init is
let open Lwt_result_syntax in
let* acc = f k1 d1 init in
let* acc = f k2 d2 acc in
let* acc = f k3 d3 acc in
…where kN is the key bound to dN in m.
val cardinal : 'a t -> int