MPP - Choice & If

metadata.json

{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"Ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Amount"}]],"timeParameterDescriptions":[["despositDeadline","Deadline for the deposit"],["choiceDeadline","Deadline for the choice"]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

Let
    "amount"
    (ConstantParam "Amount")
    (When
        [Case
            (Deposit
                (Role "giver")
                (Role "giver")
                (Token "" "")
                (UseValue "amount")
            )
            (When
                [Case
                    (Choice
                        (ChoiceId
                            "Choice"
                            (Role "chooser")
                        )
                        [Bound 1 2]
                    )
                    (If
                        (ValueEQ
                            (ChoiceValue
                                (ChoiceId
                                    "Choice"
                                    (Role "chooser")
                                ))
                            (Constant 1)
                        )
                        (Pay
                            (Role "giver")
                            (Account (Role "receiver1"))
                            (Token "" "")
                            (UseValue "amount")
                            Close 
                        )
                        (Pay
                            (Role "giver")
                            (Account (Role "receiver2"))
                            (Token "" "")
                            (UseValue "amount")
                            Close 
                        )
                    )]
                (TimeParam "choiceDeadline")
                Close 
            )]
        (TimeParam "despositDeadline")
        Close 
    )

playground.marlowe.json

{}