Bank Client (draft)

metadata.json

{"valueParameterInfo":[["Amount",{"valueParameterFormat":{"contents":[6,"ada"],"tag":"DecimalFormat"},"valueParameterDescription":"Deposit amount"}]],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Bank conditionally rewards Client for all deposits","contractName":"Bank & Client","contractLongDescription":"Bank conditionally rewards Client for all deposits, penalizes if at least one deposit is missing","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "Bank")
            (Role "Bank")
            (Token "" "")
            (MulValue
                (Constant 2)
                (ConstantParam "Amount")
            )
        )
        (When
            [Case
                (Deposit
                    (Role "Bank")
                    (Role "Client")
                    (Token "" "")
                    (ConstantParam "Amount")
                )
                (When
                    [Case
                        (Deposit
                            (Role "Bank")
                            (Role "Client")
                            (Token "" "")
                            (ConstantParam "Amount")
                        )
                        (Pay
                            (Role "Bank")
                            (Account (Role "Client"))
                            (Token "" "")
                            (AvailableMoney
                                (Role "Bank")
                                (Token "" "")
                            )
                            Close 
                        )]
                    (TimeParam "Client Deadline")
                    Close 
                )]
            (TimeParam "Client Deadline")
            Close 
        )]
    (TimeParam "Bank Deadline")
    Close 

playground.marlowe.json

{}