MyEscrow

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Seller")
            (Role "Buyer")
            (Token "" "")
            (ConstantParam "price")
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "item received"
                        (Role "Buyer")
                    )
                    [Bound 1 1]
                )
                Close , Case
                (Choice
                    (ChoiceId
                        "raise dispute"
                        (Role "Buyer")
                    )
                    [Bound 0 0]
                )
                (Pay
                    (Role "Seller")
                    (Account (Role "Buyer"))
                    (Token "" "")
                    (ConstantParam "price")
                    (When
                        [Case
                            (Choice
                                (ChoiceId
                                    "accept dispute"
                                    (Role "Seller")
                                )
                                [Bound 0 0]
                            )
                            Close , Case
                            (Choice
                                (ChoiceId
                                    "dispute dispute"
                                    (Role "Seller")
                                )
                                [Bound 1 1]
                            )
                            (When
                                [Case
                                    (Choice
                                        (ChoiceId
                                            "agree with buyer"
                                            (Role "Third_Party")
                                        )
                                        [Bound 0 0]
                                    )
                                    Close , Case
                                    (Choice
                                        (ChoiceId
                                            "agree with seller"
                                            (Role "Third_Party")
                                        )
                                        [Bound 1 1]
                                    )
                                    (Pay
                                        (Role "Buyer")
                                        (Account (Role "Seller"))
                                        (Token "" "")
                                        (ConstantParam "price")
                                        Close 
                                    )]
                                (TimeParam "dispute_dispute_deadline")
                                Close 
                            )]
                        (TimeParam "dispute_dispute_deadline")
                        Close 
                    )
                )]
            (TimeParam "dispute_deadline")
            Close 
        )]
    (TimeParam "dispute_deadline")
    Close 

playground.marlowe.json

{}