choice-if-let.js

metadata.json

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

playground.js

    function mainFunction(giver: Party, chooser: Party, receiver1: Party, receiver2: Party, choiceDeadline: Timeout, depositDeadline: Timeout): Contract {
        let amount: Value = Constant(100000000)
        let choice: ChoiceId = ChoiceId("Choice", chooser)

        return When([
            Case(
                Deposit(giver, giver, ada, amount),
                When([
                    Case(
                        // Value to choose between 1 and 2
                        Choice(choice, [Bound(1, 2)]),
                        // Evaluation IF, THEN, ELSE
                        If (ValueEQ(ChoiceValue(choice), Constant(1)),
                            Pay(giver, Party(receiver1), ada, amount, Close),
                                Pay(giver, Party(receiver2), ada, amount, Close)
                        )
                    ),
                ], choiceDeadline, Close)
            )
        ], depositDeadline, Close)
    }
    
    return mainFunction(
        Role("Giver"),
        Role("Chooser"),
        Role("Receiver1"),
        Role("Receiver2"),
        TimeParam("ChoiceDeadline"),
        TimeParam("DepositDeadline")
    )

playground.marlowe.json

{}