package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-libs.lazy-containers/Tezos_lazy_containers/Lazy_vector/ZVector/Map/index.html
Module ZVector.Map
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.