Exercise Project

metadata.json

{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "escrow")
            (Role "buyer")
            (Token "" "")
            (ConstantParam "itemPrice")
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "deliver items confirmation"
                        (Role "seller")
                    )
                    [Bound 1 1]
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "receive items confirmation"
                                (Role "buyer")
                            )
                            [Bound 1 1]
                        )
                        (Pay
                            (Role "escrow")
                            (Account (Role "seller"))
                            (Token "" "")
                            (ConstantParam "itemPrice")
                            Close 
                        )]
                    30
                    (Pay
                        (Role "escrow")
                        (Account (Role "seller"))
                        (Token "" "")
                        (ConstantParam "itemPrice")
                        Close 
                    )
                )]
            20
            (Pay
                (Role "escrow")
                (Account (Role "buyer"))
                (Token "" "")
                (ConstantParam "itemPrice")
                Close 
            )
        )]
    10 Close 

playground.marlowe.json

{}