package tezos-protocol-016-PtMumbai
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-016-PtMumbai.raw/Tezos_raw_protocol_016_PtMumbai/Ticket_transfer/index.html
Module Tezos_raw_protocol_016_PtMumbai.Ticket_transferSource
val parse_ticket :
consume_deserialization_gas:Alpha_context.Script.consume_deserialization_gas ->
ticketer:Alpha_context.Contract.t ->
contents:Alpha_context.Script.lazy_expr ->
ty:Alpha_context.Script.lazy_expr ->
Alpha_context.context ->
(Alpha_context.context * Ticket_token.ex_token,
Tezos_protocol_environment_016_PtMumbai.Error_monad.error
Tezos_protocol_environment_016_PtMumbai.Error_monad.trace)
Tezos_protocol_environment_016_PtMumbai.Pervasives.result
Tezos_protocol_environment_016_PtMumbai.Lwt.tparse_ticket ~ticketer ~contents ~ty ctxt reconstructs a ticket from individual parts submitted as part of a layer-1 operation.
val parse_ticket_and_operation :
consume_deserialization_gas:Alpha_context.Script.consume_deserialization_gas ->
ticketer:Alpha_context.Contract.t ->
contents:Alpha_context.Script.lazy_expr ->
ty:Alpha_context.Script.lazy_expr ->
source:Alpha_context.Destination.t ->
destination:Contract_hash.t ->
entrypoint:Alpha_context.Entrypoint.t ->
amount:Script_typed_ir.ticket_amount ->
Alpha_context.context ->
(Alpha_context.context
* Ticket_token.ex_token
* Script_typed_ir.packed_internal_operation)
Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
Tezos_protocol_environment_016_PtMumbai.Lwt.tSame as parse_ticket, but in addition, build a transaction to let source transfers amount units of said ticket to destination.
val transfer_ticket_with_hashes :
Alpha_context.context ->
src_hash:Alpha_context.Ticket_hash.t ->
dst_hash:Alpha_context.Ticket_hash.t ->
Ticket_amount.t ->
(Alpha_context.context * Tezos_protocol_environment_016_PtMumbai.Z.t)
Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
Tezos_protocol_environment_016_PtMumbai.Lwt.ttransfer_ticket_with_hashes ctxt ~src_hash ~dst_hash qty updates the table of tickets moves qty units of a given ticket from a source to a destination, as encoded by src_hash and dst_hash.
Consistency between src_hash and dst_hash is the responsibility of the caller. Whenever possible, transfer_ticket should be preferred, but transfer_ticket_with_hashes could be preferred to reduce gas comsumption (e.g., to reuse hashes already computed).
In addition to an updated context, this function returns the number of bytes that were newly allocated for the table of tickets.
val transfer_ticket :
Alpha_context.context ->
src:Alpha_context.Destination.t ->
dst:Alpha_context.Destination.t ->
Ticket_token.ex_token ->
Ticket_amount.t ->
(Alpha_context.context * Tezos_protocol_environment_016_PtMumbai.Z.t,
Tezos_protocol_environment_016_PtMumbai.Error_monad.error
Tezos_protocol_environment_016_PtMumbai.Error_monad.trace)
Tezos_protocol_environment_016_PtMumbai.Pervasives.result
Tezos_protocol_environment_016_PtMumbai.Lwt.ttransfer_ticket ctxt ~src ~dst ex_token qty updates the table of tickets moves qty units of ex_token from src to dst, as encoded by src_hash and dst_hash.
In addition to an updated context, this function returns the number of bytes that were newly allocated for the table of tickets.