Butterfly

metadata.json

{"valueParameterInfo":[],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe

Let
    "strike_ada"
    (Constant 29000)
    (Let
        "strike_ada2"
        (Constant 29200)
        (Let
            "strike_ada3"
            (Constant 29400)
            (Let
                "premium_ada"
                (Constant 200)
                (Let
                    "notional_btc1"
                    (Constant 1)
                    (Let
                        "notional_btc2"
                        (Constant 1)
                        (Let
                            "threshold1"
                            (AddValue
                                (UseValue "strike_ada")
                                (DivValue
                                    (UseValue "premium_ada")
                                    (UseValue "notional_btc1")
                                )
                            )
                            (Let
                                "threshold2"
                                (AddValue
                                    (UseValue "strike_ada2")
                                    (DivValue
                                        (UseValue "premium_ada")
                                        (UseValue "notional_btc2")
                                    )
                                )
                                (Let
                                    "threshold3"
                                    (AddValue
                                        (UseValue "strike_ada3")
                                        (DivValue
                                            (UseValue "premium_ada")
                                            (UseValue "notional_btc2")
                                        )
                                    )
                                    (Let
                                        "margin_ada"
                                        (Constant 300)
                                        (When
                                            [Case
                                                (Deposit
                                                    (Role "Bob")
                                                    (Role "Alice")
                                                    (Token "" "")
                                                    (MulValue
                                                        (UseValue "premium_ada")
                                                        (Constant 1000000)
                                                    )
                                                )
                                                (When
                                                    [Case
                                                        (Deposit
                                                            (Role "Bob")
                                                            (Role "Bob")
                                                            (Token "" "")
                                                            (MulValue
                                                                (UseValue "margin_ada")
                                                                (Constant 1000000)
                                                            )
                                                        )
                                                        (When
                                                            [Case
                                                                (Choice
                                                                    (ChoiceId
                                                                        "DO NOT ENTER, SKIP TO NEXT TIMEOUT INSTEAD"
                                                                        (Address "addr_test1vrxx3rjangevudlrejgp9m508uc26jd02n7lmdz365n4wrca35y5j")
                                                                    )
                                                                    [Bound 0 0]
                                                                )
                                                                Close ]
                                                            1000000100000001
                                                            (When
                                                                [Case
                                                                    (Choice
                                                                        (ChoiceId
                                                                            "WOLF_BTCADA"
                                                                            (Address "addr_test1vrxx3rjangevudlrejgp9m508uc26jd02n7lmdz365n4wrca35y5j")
                                                                        )
                                                                        [Bound 28000 30000]
                                                                    )
                                                                    (Let
                                                                        "market_ada"
                                                                        (ChoiceValue
                                                                            (ChoiceId
                                                                                "WOLF_BTCADA"
                                                                                (Address "addr_test1vrxx3rjangevudlrejgp9m508uc26jd02n7lmdz365n4wrca35y5j")
                                                                            ))
                                                                        (Let
                                                                            "value_ada"
                                                                            (Cond
                                                                                (ValueLE
                                                                                    (UseValue "market_ada")
                                                                                    (UseValue "strike_ada2")
                                                                                )
                                                                                (MulValue
                                                                                    (UseValue "notional_btc1")
                                                                                    (SubValue
                                                                                        (UseValue "market_ada")
                                                                                        (UseValue "strike_ada")
                                                                                    )
                                                                                )
                                                                                (MulValue
                                                                                    (UseValue "notional_btc2")
                                                                                    (SubValue
                                                                                        (UseValue "strike_ada3")
                                                                                        (UseValue "market_ada")
                                                                                    )
                                                                                )
                                                                            )
                                                                            (Let
                                                                                "alice_profit"
                                                                                (SubValue
                                                                                    (UseValue "value_ada")
                                                                                    (UseValue "premium_ada")
                                                                                )
                                                                                (If
                                                                                    (ValueLE
                                                                                        (UseValue "value_ada")
                                                                                        (Constant 0)
                                                                                    )
                                                                                    Close 
                                                                                    (Pay
                                                                                        (Role "Bob")
                                                                                        (Account (Role "Alice"))
                                                                                        (Token "" "")
                                                                                        (MulValue
                                                                                            (UseValue "value_ada")
                                                                                            (Constant 1000000)
                                                                                        )
                                                                                        Close 
                                                                                    )
                                                                                )
                                                                            )
                                                                        )
                                                                    )]
                                                                1000000100000002 Close 
                                                            )
                                                        )]
                                                    1000000000000002 Close 
                                                )]
                                            1000000000000001 Close 
                                        )
                                    )
                                )
                            )
                        )
                    )
                )
            )
        )
    )

playground.marlowe.json

{}