Cascadia Faucet

blockly.xml

When
    [Case
        (Deposit
            (Role "Ada provider")
            (Role "Ada provider")
            (Token "" "")
            (Constant 2)
        )
        (When
            [Case
                (Deposit
                    (Role "Cascadia provider")
                    (Role "Cascadia provider")
                    (Token "85bb65" "cascadia")
                    (Constant 50)
                )
                (Pay
                    (Role "Ada provider")
                    (Party (Role "Cascadia provider"))
                    (Token "" "")
                    (Constant 2)
                    (When
                        [Case
                            (Deposit
                                (Role "Cascadia provider")
                                (Role "Cascadia provider")
                                (Token "" "")
                                (Constant 2)
                            )
                            (If
                                (ValueEQ
                                    (AvailableMoney
                                        (Role "Cascadia provider")
                                        (Token "" "")
                                    )
                                    (Constant 2)
                                )
                                (Pay
                                    (Role "Cascadia provider")
                                    (Party (Role "Ada provider"))
                                    (Token "85bb65" "cascadia")
                                    (Constant 50)
                                    (Pay
                                        (Role "Cascadia provider")
                                        (Party (Role "Ada provider"))
                                        (Token "" "")
                                        (Constant 1)
                                        Close 
                                    )
                                )
                                Close 
                            )]
                        3 Close 
                    )
                )]
            2 Close 
        )]
    1 Close 

metadata.json

{"valueParameterDescriptions":[["Amount of Ada","Amount of Ada to be exchanged for dollars."],["Amount of dollars","Amount of dollar tokens to be exchanged for Ada."]],"slotParameterDescriptions":[["Timeout for Ada deposit","Deadline by which Ada must be deposited."],["Timeout for dollar deposit","Deadline by which dollar tokens must be deposited (must be after the deadline for Ada deposit)."]],"roleDescriptions":[["Ada provider","The party that provides the Ada."],["Dollar provider","The party that provides the dollar tokens."]],"contractType":"S","contractName":"Swap of Ada and dollar tokens","contractDescription":"Takes Ada from one party and dollar tokens from another party, and it swaps them atomically.","choiceDescriptions":[]}

playground.marlowe.json

{}