package tezos-protocol-alpha
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Ticket_transfer/index.html
Module Tezos_raw_protocol_alpha.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_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.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 ->
sender: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_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tSame as parse_ticket, but in addition, build a transaction to let sender transfers amount units of said ticket to destination.
val transfer_ticket_with_hashes :
Alpha_context.context ->
sender_hash:Alpha_context.Ticket_hash.t ->
dst_hash:Alpha_context.Ticket_hash.t ->
Ticket_amount.t ->
(Alpha_context.context * Tezos_protocol_environment_alpha.Z.t)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.ttransfer_ticket_with_hashes ctxt ~sender_hash ~dst_hash qty updates the table of tickets moves qty units of a given ticket from a sender to a destination, as encoded by sender_hash and dst_hash.
Consistency between sender_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 ->
sender:Alpha_context.Destination.t ->
dst:Alpha_context.Destination.t ->
Ticket_token.ex_token ->
Ticket_amount.t ->
(Alpha_context.context * Tezos_protocol_environment_alpha.Z.t,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.ttransfer_ticket ctxt ~sender ~dst ex_token qty updates the table of tickets moves qty units of ex_token from sender to dst, as encoded by sender_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.
val transfer_tickets_in_parameters :
Alpha_context.context ->
'a ->
('a, 'b) Script_typed_ir.ty ->
source:Alpha_context.Destination.t ->
dst:Alpha_context.Destination.t ->
(Alpha_context.context
* Ticket_receipt.t
* Tezos_protocol_environment_alpha.Z.t,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.ttransfer_tickets_in_parameters ctxt param param_ty ~source ~dst Scans the param for tickets and transfers ownership of those tickets from source to dst by updating the ticket table. The function returns the updated context, the ticket receipt, and the number of newly allocated bytes for the ticket table.