IfThenElse Project

metadata.json

{"valueParameterInfo":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"","contractName":"","contractLongDescription":"","choiceInfo":[]}

playground.marlowe

Let
    "price"
    (ConstantParam "inputPrice")
    (Let
        "offer"
        (ConstantParam "inputOffer")
        (If
            (ValueGE
                (ConstantParam "inputOffer")
                (ConstantParam "inputPrice")
            )
            (When
                [Case
                    (Deposit
                        (Role "escrow")
                        (Role "buyer")
                        (Token "" "")
                        (ConstantParam "inputOffer")
                    )
                    (Pay
                        (Role "escrow")
                        (Account (Role "seller"))
                        (Token "" "")
                        (ConstantParam "inputOffer")
                        Close 
                    )]
                50 Close 
            )
            Close 
        )
    )

playground.marlowe.json

{}