package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
doc/octez-libs.lazy-containers/Tezos_lazy_containers/Lazy_map/LwtIntMap/index.html
Module Lazy_map.LwtIntMap
Source
origin map
returns the tree of origin of the map, if it exists.
Note: The sole consumer of this function is expected to be the tree-encoding library.
pp pp_value
gives you a pretty-printer. This function is a witness of internal mutation.
to_string show map
generates a string representation of map
by using show
for its values. Like pp
this function is witness of internal mutation.
val create :
?values:'a Map.t ->
?produce_value:'a producer ->
?origin:Tezos_tree_encoding.wrapped_tree ->
unit ->
'a t
create ?values ?produce_value ?origin num_elements
produces a lazy map with num_elements
entries where each is created using produce_value
. values
may be provided to supply an initial set of entries.
Note: This function is intended to be used produce_value
should only be used by the tree-encoding library. If you want to fill a newly created map with some value, use values
or set
on the empty map.
dup map
duplicates map
.
Note: the produce_value
continuation is shared between the resulting map and map
, meaning that if said continuation carries a state, the two maps will interfere with each others. This is safe when used in conjunction with lib_tree_encoding
, because the continuation is pure in the sense it will always returns the same result when called with the same argument.