The Payment type represents the intention to transfer funds from the internal AccountId to a Payee. This type is created as a result of executing a Pay statement and is included as part of the output of computing a transaction.

The Payee indicates whether the recipient of the payment is an internal account or external participant. When we call computeTransaction, if the payment is internal, the funds are transferred between internal state accounts. If the payment is external, the funds are removed from the state account, and the contract makes the payment to the party.

See

Section 2.1.9 and appendix E.13 of the Marlowe spec

Hierarchy

  • Payment

Properties

amount: bigint
payment_from: Party
to: Payee
token: Token