Last active
June 10, 2023 01:55
-
-
Save ayo-dan/d4b83b011952e8fcf964b261056520a7 to your computer and use it in GitHub Desktop.
PMX Claim
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":[["PMX Deposit Amount",{"valueParameterFormat":{"contents":[6,"PMX"],"tag":"DecimalFormat"},"valueParameterDescription":"The amount of PMX that needs to be deposited by PlayerMint."}],["ADA Deposit Amount",{"valueParameterFormat":{"contents":[6,"ADA"],"tag":"DecimalFormat"},"valueParameterDescription":"The amount of ADA that needs to be deposited by the Player."}]],"timeParameterDescriptions":[["PMX Deposit Timeout","The time by which PMX must be deposited by PlayerMint."],["ADA Deposit Timeout","The time by which ADA must be deposited by the Player. If the Player does not deposit their ADA by the set time then they forfeit their PMX."]],"roleDescriptions":[["Player","The user that interacts with the PlayerMint protocol."],["PlayerMint","The PlayerMint protocol."]],"contractType":"Other","contractShortDescription":"A contract that allows a player to claim their PMX by depositing ADA.","contractName":"Claim PMX","contractLongDescription":"A contract where PlayerMint deposits in a Players PMX based off their performance in the PlayerMint protocol. The player can then deposit ADA in order to claim it.","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 "PlayerMint") | |
(Role "PlayerMint") | |
(Token "8499f3958a114d03b6289185138a60378951a2b5491cb2a080ff7b6e" "PMX") | |
(ConstantParam "PMX Deposit Amount") | |
) | |
(When | |
[Case | |
(Deposit | |
(Role "PlayerMint") | |
(Role "Player") | |
(Token "" "") | |
(ConstantParam "ADA Deposit Amount") | |
) | |
(Pay | |
(Role "PlayerMint") | |
(Party (Role "Player")) | |
(Token "8499f3958a114d03b6289185138a60378951a2b5491cb2a080ff7b6e" "PMX") | |
(ConstantParam "PMX Deposit Amount") | |
Close | |
)] | |
(TimeParam "ADA Deposit Timeout") | |
Close | |
)] | |
(TimeParam "PMX Deposit Timeout") | |
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