Skip to content

Instantly share code, notes, and snippets.

@dnagl
Created April 1, 2021 09:10
Show Gist options
  • Save dnagl/8617ac7dcc3e99eb818f37be965684a5 to your computer and use it in GitHub Desktop.
Save dnagl/8617ac7dcc3e99eb818f37be965684a5 to your computer and use it in GitHub Desktop.
TrainingContract
When
[Case
(Deposit
(Role "Coach")
(Role "Client")
(Token "" "")
(Constant 50)
)
(When
[Case
(Choice
(ChoiceId
"name"
(Role "Client")
)
[Bound 1 3]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"name"
(Role "Client")
))
(Constant 1)
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 50)
Close
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"name"
(Role "Client")
))
(Constant 2)
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 10)
Close
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 25)
Close
)
)
)]
7 Close
)]
7 Close
{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment