package tezos-protocol-013-PtJakart
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Alpha_context/Big_map/index.html
Module Alpha_context.Big_mapSource
Source
val fresh :
temporary:bool ->
context ->
(context * Id.t) Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tSource
val get_opt :
context ->
Id.t ->
Script_expr_hash.t ->
(context * Script.expr option)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tSource
val exists :
context ->
Id.t ->
(context * (Script.expr * Script.expr) option)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tSource
val list_values :
?offset:int ->
?length:int ->
context ->
Id.t ->
(context * Script.expr list)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tlist_values ?offset ?length ctxt id lists all values stored 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 loading values.
Source
type update = {key : Script_repr.expr;key_hash : Script_expr_hash.t;value : Script_repr.expr option;
}