TokenSwap

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[["AAF Provider","The Role that provides AFF"],["RWD Provider","The Role that provides RWD"]],"contractType":"Swap","contractShortDescription":"Atomically exchange of RWD and AFF tokens","contractName":"Swap of RWD and AFF tokens","contractLongDescription":"Waits until one party deposits RWD and the other party deposits dollar tokens. If both parties collaborate it carries the exchange atomically, otherwise parties are refunded.","choiceInfo":[]}

playground.marlowe

When
    [Case
        (Deposit
            (Role "RWD Provider")
            (Role "RWD Provider")
            (Token "aaaaaa" "RWD")
            (ConstantParam "Amount of Reward")
        )
        (When
            [Case
                (Deposit
                    (Role "AAF provider")
                    (Role "AAF Provider")
                    (Token "bbbbbb" "AAF")
                    (ConstantParam "Amount of AAF")
                )
                (Pay
                    (Role "RWD Provider")
                    (Party (Role "AAF provider"))
                    (Token "aaaaaa" "RWD")
                    (ConstantParam "Amount of Reward")
                    (Pay
                        (Role "RWD Provider")
                        (Party (Role "RWD Provider"))
                        (Token "bbbbbb" "AAF")
                        (ConstantParam "Amount of AAF")
                        Close 
                    )
                )]
            (TimeParam "Timeout for AFF deposit")
            Close 
        )]
    (TimeParam "Timeout for RWD deposit")
    Close 

playground.marlowe.json

{}