package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Ticket_storage/index.html
Module Tezos_raw_protocol_013_PtJakart.Ticket_storageSource
type Tezos_protocol_environment_013_PtJakart.Error_monad.error += | Negative_ticket_balance of {key : Ticket_hash_repr.t;balance : Tezos_protocol_environment_013_PtJakart.Z.t;
}| Used_storage_space_underflow
val get_balance :
Raw_context.t ->
Ticket_hash_repr.t ->
(Tezos_protocol_environment_013_PtJakart.Z.t option * Raw_context.t)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tget_balance ctxt key receives the ticket balance for the given key in the context ctxt. The key represents a ticket content and a ticket creator pair. In case there exists no value for the given key, None is returned.
val adjust_balance :
Raw_context.t ->
Ticket_hash_repr.t ->
delta:Tezos_protocol_environment_013_PtJakart.Z.t ->
(Tezos_protocol_environment_013_PtJakart.Z.t * Raw_context.t)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tadjust_balance ctxt key ~delta adjusts the balance of the given key (representing a ticket content, creator and owner pair) and delta. The value of delta can be positive as well as negative. If there is no pre-exising balance for the given ticket type and owner, it is assumed to be 0 and the new balance is delta. The function also returns the difference between the old and the new size of the storage. Note that the difference may be negative. For example, because when setting the balance to zero, an entry is removed.
The function fails with a Negative_ticket_balance error in case the resulting balance is negative.
val adjust_storage_space :
Raw_context.t ->
storage_diff:Tezos_protocol_environment_013_PtJakart.Z.t ->
(Tezos_protocol_environment_013_PtJakart.Z.t * Raw_context.t)
Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
Tezos_protocol_environment_013_PtJakart.Lwt.tadjust_storage_space ctxt ~storage_diff updates the used storage space for the ticket-table according to storage_diff. The additional positive amount of unpaid storage is returned. If no unpaid storage is consumed, this amount is 0.
Note that when storage space for the ticket table is released we may later use that space for free. For this reason, the amount returned may be less than the given (positive) storage_diff.