package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
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.