TryMarlowe

metadata.json

{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "escrow")
            (Role "buyer")
            (Token "" "")
            (Constant 500)
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "jobDone"
                        (Role "seller")
                    )
                    [Bound 0 1]
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "jobDone"
                                (Role "buyer")
                            )
                            [Bound 0 1]
                        )
                        (If
                            (AndObs
                                (ValueEQ
                                    (ChoiceValue
                                        (ChoiceId
                                            "jobDone"
                                            (Role "buyer")
                                        ))
                                    (ChoiceValue
                                        (ChoiceId
                                            "jobDone"
                                            (Role "seller")
                                        ))
                                )
                                (ValueEQ
                                    (ChoiceValue
                                        (ChoiceId
                                            "jobDone"
                                            (Role "buyer")
                                        ))
                                    (Constant 1)
                                )
                            )
                            (Pay
                                (Role "escrow")
                                (Account (Role "seller"))
                                (Token "" "")
                                (Constant 500)
                                Close 
                            )
                            (When
                                [Case
                                    (Choice
                                        (ChoiceId
                                            "jobDone"
                                            (Role "escrow")
                                        )
                                        [Bound 0 1]
                                    )
                                    (If
                                        (AndObs
                                            (ValueEQ
                                                (ChoiceValue
                                                    (ChoiceId
                                                        "jobDone"
                                                        (Role "escrow")
                                                    ))
                                                (ChoiceValue
                                                    (ChoiceId
                                                        "jobDone"
                                                        (Role "seller")
                                                    ))
                                            )
                                            (ValueEQ
                                                (ChoiceValue
                                                    (ChoiceId
                                                        "jobDone"
                                                        (Role "seller")
                                                    ))
                                                (Constant 1)
                                            )
                                        )
                                        (Pay
                                            (Role "escrow")
                                            (Account (Role "seller"))
                                            (Token "" "")
                                            (Constant 500)
                                            Close 
                                        )
                                        (Pay
                                            (Role "escrow")
                                            (Account (Role "buyer"))
                                            (Token "" "")
                                            (Constant 500)
                                            Close 
                                        )
                                    )]
                                45
                                (Pay
                                    (Role "escrow")
                                    (Account (Role "buyer"))
                                    (Token "" "")
                                    (Constant 500)
                                    Close 
                                )
                            )
                        )]
                    25
                    (Pay
                        (Role "escrow")
                        (Account (Role "buyer"))
                        (Token "" "")
                        (Constant 500)
                        Close 
                    )
                )]
            15
            (Pay
                (Role "escrow")
                (Account (Role "buyer"))
                (Token "" "")
                (Constant 500)
                Close 
            )
        )]
    5 Close 

playground.marlowe.json

{}