Skip to content

Instantly share code, notes, and snippets.

@ayo-dan
Last active June 10, 2023 01:55
Show Gist options
  • Save ayo-dan/d4b83b011952e8fcf964b261056520a7 to your computer and use it in GitHub Desktop.
Save ayo-dan/d4b83b011952e8fcf964b261056520a7 to your computer and use it in GitHub Desktop.
PMX Claim
{"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":[]}
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment