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 deposit."}]],"timeParameterDescriptions":[["DepositDeadline","Deadline for the deposit."],["ChoiceDeadline","Deadline for the choice."]],"roleDescriptions":[["Chooser","CHooses who will receive the deposit."],["Giver","Makes the deposit."],["Receiver1","The first potential receiver."],["Receiver2","The second potential receiver."]],"contractType":"Other","contractShortDescription":"Simple choice.","contractName":"MPP - Choice & If","contractLongDescription":"The \"Chooser\" can decide whether to give the money deposited by \"Giver\" to \"Receiver1\" or \"Receiver2\".","choiceInfo":[["Choice",{"choiceFormat":{"contents":null,"tag":"DefaultFormat"},"choiceDescription":"Which receiver should receive the doposit?"}]]} |
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 deposit."}]],"timeParameterDescriptions":[["DepositDeadline","Deadline for the deposit."],["ChoiceDeadline","Deadline for the choice."]],"roleDescriptions":[["Chooser","CHooses who will receive the deposit."],["Giver","Makes the deposit."],["Receiver1","The first potential receiver."],["Receiver2","The second potential receiver."]],"contractType":"Other","contractShortDescription":"Simple choice.","contractName":"MPP - Choice & If","contractLongDescription":"The \"Chooser\" can decide whether to give the money deposited by \"Giver\" to \"Receiver1\" or \"Receiver2\".","choiceInfo":[["Choice",{"choiceFormat":{"contents":null,"tag":"DefaultFormat"},"choiceDescription":"Which receiver should receive the doposit?"}]]} |
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
{"valueParameterInfo":[],"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
{"valueParameterInfo":[],"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 (Pay)","contractLongDescription":"Giver makes a payment to Receiver.","choiceInfo":[]} |