-
-
Save ayo-dan/daf85b8f600fb04aff8eea53c135d6c4 to your computer and use it in GitHub Desktop.
MPP - Simple payment (Parameters)
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount to be transferred from Giver to Receiver."}]],"timeParameterDescriptions":[["Deadline","Time by which the Giver's deposit has to be made."]],"roleDescriptions":[["Giver","The party making the payment."],["Receiver","The party receiving the payment."]],"contractType":"Other","contractShortDescription":"Giver makes a payment to Receiver.","contractName":"MPP - Simple payment (Close)","contractLongDescription":"Giver makes a payment to Receiver.","choiceInfo":[]} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
When | |
[Case | |
(Deposit | |
(Role "Receiver") | |
(Role "Giver") | |
(Token "" "") | |
(ConstantParam "Amount") | |
) | |
Close ] | |
(TimeParam "Deadline") | |
Close |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment