simple-payment-pay.js

metadata.json

{"valueParameterInfo":[["Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}]],"timeParameterDescriptions":[],"roleDescriptions":[["Giver1",""]],"contractType":"Other","contractShortDescription":"","contractName":"Double Pay","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.js

    function deposit (g: Party, amount: Value): Action {
        return Deposit(g, g, ada, amount)
    }

    function pay (g: Party, r: Party, amount: Value): Contract {
        return Pay(g, Party(r), ada, amount, Close)
    }

    // main function
    function payment (giver: Party, receiver: Party, amount: Value, deadline: Timeout): Contract {
        return When([
            Case(
                deposit(giver, amount),
                pay(giver, receiver, amount)
            )
        ], deadline, Close)
    }

    return payment(
        Role("Giver"),
        Role("Receiver"),
        Constant(100000000),
        TimeParam("Deadline")
    )

playground.marlowe.json

{}