package tezos-protocol-010-PtGRANAD

  1. Overview
  2. Docs
package tezos-protocol-010-PtGRANAD
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Id : sig ... end
val fresh : temporary:bool -> context -> (context * Id.t, Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace) result Lwt.t
val mem : context -> Id.t -> Script_expr_hash.t -> (context * bool, Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace) result Lwt.t
val get_opt : context -> Id.t -> Script_expr_hash.t -> (context * Script.expr option, Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace) result Lwt.t
val exists : context -> Id.t -> (context * (Script.expr * Script.expr) option, Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace) result Lwt.t
val list_values : ?offset:int -> ?length:int -> context -> Id.t -> (context * Script.expr list, Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.error Tezos_protocol_environment_010_PtGRANAD__Environment.Error_monad.trace) result Lwt.t

list_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.

type update = {
  1. key : Script_repr.expr;
  2. key_hash : Script_expr_hash.t;
  3. value : Script_repr.expr option;
}
type updates = update list
type alloc = {
  1. key_type : Script_repr.expr;
  2. value_type : Script_repr.expr;
}