package tezos-protocol-015-PtLimaPt
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Big_map/index.html
Module Alpha_context.Big_mapSource
Big maps are a data structure storing key-value associations, just like regular maps, but here the whole content of the structure is not loaded in memory when interacting with it. They are thus suitable for a Michelson contract, for instance, when there are a lot of bindings, but only a few items are accessed at each contract call.
val fresh :
temporary:bool ->
context ->
(context * Id.t) Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tCreate a fresh big map in the context.
val mem :
context ->
Id.t ->
Script_expr_hash.t ->
(context * bool) Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tCarbonated membership of a key (from its hash) in a big map.
val get_opt :
context ->
Id.t ->
Script_expr_hash.t ->
(context * Script.expr option)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tCarbonated retrieval of the value associated to a key (from its hash) in a big map, if any.
val exists :
context ->
Id.t ->
(context * (Script.expr * Script.expr) option)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tCarbonated retrieval of the key and value types of the bindings in a big map referenced by its identifier, if this identifier is actually bound to a big map in the context.
val list_key_values :
?offset:int ->
?length:int ->
context ->
Id.t ->
(context * (Script_expr_hash.t * Script.expr) list)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.tlist_key_values ?offset ?length ctxt id lists the key hash and value for each entry in big map id. The first offset values are ignored (if passed). Negative offsets are treated as 0. There will be no more than length values in the result list (if passed). Negative values are treated as 0.
The returned context takes into account gas consumption of traversing the keys and loading values.
type update = {key : Script_repr.expr;(*The key is ignored by an update but is shown in the receipt.
*)key_hash : Script_expr_hash.t;value : Script_repr.expr option;
}The type of big map updates. When value = None, the potential binding associated to the key will be removed.
The types of keys and values in a big map.