Marlowe-Demo-1

blockly.xml

<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="10" y="50"><statement name="BaseContractType"><block type="WhenContractType" id="y!W4x5;|#kYuS~ZPA*V)"><field name="timeout">0</field><statement name="case"><block type="DepositActionType" id="}Ru~BD,pT-EDsLhX}%Qr"><value name="from_party"><block type="RolePartyType" id="cG9yhl,bNE:jSUA09O=$"><field name="role">Client</field></block></value><value name="value"><block type="ConstantValueType" id="ximMy:=YelA).DioyDAY"><field name="constant">50</field></block></value><value name="token"><block type="AdaTokenType" id="2ooyW/@FEyoG#U7/%9q]"/></value><value name="party"><block type="RolePartyType" id="G+D=G883]{``:GbU3H;="><field name="role">Client</field></block></value><statement name="contract"><block type="WhenContractType" id="K:39[mUJf7HXGa!zzJrP"><field name="timeout">7</field><statement name="case"><block type="ChoiceActionType" id=",k/kgDiKOR6TG#=o749|"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id="HX4#f`v?3hOG;/cvbAa#"><field name="role">Client</field></block></value><statement name="bounds"><block type="BoundsType" id="S(_[~)2nsD6Dxa/(F?ZP"><field name="from">1</field><field name="to">3</field></block></statement><statement name="contract"><block type="IfContractType" id="|r9%,1.bDc5/_P4/Cc01"><value name="observation"><block type="ValueEQObservationType" id="Wz|f@b9IAhi#c!Tr8kJZ"><value name="value1"><block type="ChoiceValueValueType" id="Mhd:b*:rMf/C,@}9Qr9%"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id="0`P${R?B,[6rytBp,N(i"><field name="role">Client</field></block></value></block></value><value name="value2"><block type="ConstantValueType" id="{o18+oO*ueD2df5b.Y.I"><field name="constant">1</field></block></value></block></value><statement name="contract1"><block type="PayContractType" id="HXig|FnP2E^mYo2PphhP"><value name="payee"><block type="PartyPayeeType" id="rNgl!{p@?uZkYYzu1t31"><value name="party"><block type="RolePartyType" id="h#UiQUY)ePJrG8+D5urW"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id=";4c/h#N6?tFMOn`~g1]`"><field name="constant">50</field></block></value><value name="token"><block type="AdaTokenType" id="RX,ZB=jiLtYpwsIWTqxQ"/></value><value name="party"><block type="RolePartyType" id="HG)QwajQ3H8egcK?-M`~"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="c!Z]5BlfYPq8-,M[B-:e"/></statement></block></statement><statement name="contract2"><block type="IfContractType" id="8m*PAZ@zx+bWxln#t#~f"><value name="observation"><block type="ValueEQObservationType" id="l~2hzr{JRfqm;m376SVf"><value name="value1"><block type="ChoiceValueValueType" id="G^:@s~OHVLYhgdCq;w@?"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id=".@%KM9XdkW^yLBZ`|sKA"><field name="role">Client</field></block></value></block></value><value name="value2"><block type="ConstantValueType" id="fJ=@=CGwL]=beo0Xi7)J"><field name="constant">2</field></block></value></block></value><statement name="contract1"><block type="PayContractType" id="$ijPh0dL44!q0=~wI-)f"><value name="payee"><block type="PartyPayeeType" id="0=0%[*N0hFly0c-tR$|G"><value name="party"><block type="RolePartyType" id="M5y82LX3+b(C9iKMHhRm"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="rzZ;Jq8pXhGHe7L!JwI_"><field name="constant">10</field></block></value><value name="token"><block type="AdaTokenType" id="3oTwRwlK!K$#k`2-ei=3"/></value><value name="party"><block type="RolePartyType" id="92xc.pb3eNBg|cH:HIDl"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="p0DG[g6t}R6lIlL-3}yE"/></statement></block></statement><statement name="contract2"><block type="PayContractType" id="nPPf7:W]7)v;H3967Wy)"><value name="payee"><block type="PartyPayeeType" id="FE)L/Ks^U0^AWRw*n*[H"><value name="party"><block type="RolePartyType" id="^FOSjX(sG0Owd*5Te-Mw"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="2;!S|{8%c7@a(.J@pa^j"><field name="constant">25</field></block></value><value name="token"><block type="AdaTokenType" id="tgn?fEB13[J-Fuh]LT;f"/></value><value name="party"><block type="RolePartyType" id="1G,S4aT9lfbCwl6b`gqH"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="E`WQt$tG%4^AoRn_XRuZ"/></statement></block></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="_:$UZaqwFp(4`X`C,9?$"/></statement></block></statement></block></statement></block></statement></block></xml>

playground.marlowe

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 

playground.marlowe.json

{}