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