marlow-drain

blockly.xml

When
    [Case
        (Deposit
            (Role "donor")
            (Role "donor")
            (Token "" "")
            (Constant 12000)
        )
        (When
            [Case
                (Choice
                    (ChoiceId
                        "drain"
                        (Role "recipient")
                    )
                    [Bound 0 1]
                )
                (If
                    (ValueEQ
                        (ChoiceValue
                            (ChoiceId
                                "drain"
                                (Role "recipient")
                            ))
                        (Constant 1)
                    )
                    (Pay
                        (Role "donor")
                        (Party (Role "recipient"))
                        (Token "" "")
                        (AvailableMoney
                            (Role "donor")
                            (Token "" "")
                        )
                        Close 
                    )
                    Close 
                )]
            5 Close 
        )]
    10 Close 

metadata.json

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

playground.marlowe

When
    [Case
        (Choice
            (ChoiceId
                "amount"
                (Role "donor")
            )
            [Bound 0 12000]
        )
        (When
            [Case
                (Deposit
                    (Role "donor")
                    (Role "donor")
                    (Token "" "")
                    (ChoiceValue
                        (ChoiceId
                            "amount"
                            (Role "donor")
                        ))
                )
                (When
                    [Case
                        (Choice
                            (ChoiceId
                                "drain"
                                (Role "recipient")
                            )
                            [Bound 0 1]
                        )
                        (If
                            (ValueEQ
                                (ChoiceValue
                                    (ChoiceId
                                        "drain"
                                        (Role "recipient")
                                    ))
                                (Constant 1)
                            )
                            (Pay
                                (Role "donor")
                                (Party (Role "recipient"))
                                (Token "" "")
                                (AvailableMoney
                                    (Role "donor")
                                    (Token "" "")
                                )
                                Close 
                            )
                            Close 
                        )]
                    5 Close 
                )]
            7 Close 
        )]
    10 Close 

playground.marlowe.json

{}