week-3_double-donation

metadata.json

{"valueParameterInfo":[["donation",{"valueParameterFormat":{"contents":null,"tag":"DefaultFormat"},"valueParameterDescription":"In Lovelace"}]],"timeParameterDescriptions":[["initial-deadline",""],["donation1-deadline",""],["donation2-deadline",""]],"roleDescriptions":[["Giver1","Donor #1"],["Giver2","Donor #2"],["Receiver","Recipient of all donations"]],"contractType":"Other","contractShortDescription":"Two donors give funds to a recipient","contractName":"Double Donation, Week 3","contractLongDescription":"Two donors give funds to a recipient","choiceInfo":[["initial-donor",{"choiceFormat":{"contents":null,"tag":"DefaultFormat"},"choiceDescription":"input \"1\" for Giver1, \"2\" for Giver2"}]]}

playground.marlowe

If
    (ValueLT
        (ConstantParam "donation")
        ?value2
    )
    (When
        [Case
            (Deposit
                (Role "Giver1")
                (Role "Giver1")
                (Token "" "")
                (ConstantParam "donation")
            )
            (When
                [Case
                    (Deposit
                        (Role "Giver2")
                        (Role "Giver2")
                        (Token "" "")
                        (ConstantParam "donation")
                    )
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (ConstantParam "donation")
                        (Pay
                            (Role "Giver1")
                            (Party (Role "Receiver"))
                            (Token "" "")
                            (ConstantParam "donation")
                            Close 
                        )
                    )]
                (TimeParam "donation2-giver2-deadline")
                Close 
            )]
        (TimeParam "donation1-giver1-deadline")
        Close 
    )
    (When
        [Case
            (Deposit
                (Role "Giver2")
                (Role "Giver2")
                (Token "" "")
                (ConstantParam "donation")
            )
            (When
                [Case
                    (Deposit
                        (Role "Giver1")
                        (Role "Giver1")
                        (Token "" "")
                        (ConstantParam "donation")
                    )
                    (Pay
                        (Role "Giver2")
                        (Party (Role "Receiver"))
                        (Token "" "")
                        (ConstantParam "donation")
                        (Pay
                            (Role "Giver1")
                            (Party (Role "Receiver"))
                            (Token "" "")
                            (ConstantParam "donation")
                            Close 
                        )
                    )]
                (TimeParam "donation2-giver1-deadline")
                Close 
            )]
        (TimeParam "donation1-giver2-deadline")
        Close 
    )

playground.marlowe.json

{}