package octez-protocol-019-PtParisB-libs
Install
    
    dune-project
 Dependency
Authors
Maintainers
Sources
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
    
    
  sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65
    
    
  doc/octez-protocol-019-PtParisB-libs.client/Tezos_client_019_PtParisB/Client_proto_fa12/index.html
Module Tezos_client_019_PtParisB.Client_proto_fa12Source
Client_proto_fa12 implements built-in support for the FA1.2 standard. This module features functions to check whether a contract implements the standard interface and to interact with such contracts using high-level actions that model the entrypoint calls.
This module also provides functions to unwrap Micheline values into actions, which can be useful for indexers or applications using this module to interpret transactions on FA1.2 contracts as FA1.2 operations.
type callback_contract =
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * string optionA callback contract is represented by an address and a possible entrypoint on which the transaction is done.
type action = - | Transfer of Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * Z.t
- | Approve of Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * Z.t
- | Get_allowance of Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * callback_contract
- | Get_balance of Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t * callback_contract
- | Get_total_supply of callback_contract
val action_of_expr : 
  entrypoint:string ->
  (_, Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.prim)
    Tezos_micheline.Micheline.node ->
  action Tezos_base.TzPervasives.tzresultval convert_wrapped_parameter_into_action : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t ->
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.node ->
  action Tezos_base.TzPervasives.tzresult Lwt.tconvert_wrapped_parameter_into_action cctxt ~chain ~block ~contract parameter converts a wrapped FA1.2 contract parameter into the corresponding FA1.2 action.
That is, it takes a contract parameter on the form C_1 .. (C_n ... <entrypoint argument> )) where C_1 ... C_n is a sequence of Left/Right constructors. It finds the entrypoint corresponding to that path in contract's interface. The result of the function is the <entrypoint arguments> applied to the action corresponding to that entrypoint.
val contract_has_fa12_interface : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  contract:Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t ->
  unit ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tCheck whether a contract has an FA1.2 interface.
val call_contract : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  ?dry_run:bool ->
  ?verbose_signing:bool ->
  ?branch:int ->
  source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys.sk_uri ->
  contract:Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t ->
  action:action ->
  tez_amount:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t ->
  ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral ->
  ?safety_guard:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t ->
  fee_parameter:Injection.fee_parameter ->
  unit ->
  (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.transaction
     Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.manager
     Injection.result
   * Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t list)
    Tezos_base.TzPervasives.tzresult
    Lwt.ttype token_transfer = {- token_contract : string;
- destination : string;
- amount : Z.t;
- tez_amount : string option;
- fee : string option;
- gas_limit : Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral option;
- storage_limit : Z.t option;
}Single transfer operation.
val inject_token_transfer_batch : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Chain_services.chain ->
  block:Tezos_shell_services.Block_services.block ->
  ?confirmations:int ->
  ?dry_run:bool ->
  ?verbose_signing:bool ->
  sender:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t ->
  source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys.sk_uri ->
  token_transfers:token_transfer list ->
  fee_parameter:Injection.fee_parameter ->
  ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t ->
  ?default_fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t ->
  ?default_gas_limit:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral ->
  ?default_storage_limit:Z.t ->
  ?safety_guard:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral ->
  unit ->
  unit Tezos_base.TzPervasives.tzresult Lwt.tInject a batch of token transfers.
val run_view_action : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  sender:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t option ->
  contract:Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t ->
  action:action ->
  payer:Tezos_base.TzPervasives.Signature.public_key_hash option ->
  gas:
    Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral
      option ->
  unparsing_mode:
    Tezos_protocol_019_PtParisB.Protocol.Script_ir_unparser.unparsing_mode ->
  unit ->
  Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.tRun the action without injecting it. Only for views.