Marlowe Meet 1 - 4

metadata.json

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

playground.marlowe

Let
    "barangDikirim"
    (ConstantParam "statusBarangDikirim")
    (When
        [Case
            (Deposit
                (Role "buyer")
                (Role "buyer")
                (Token "" "")
                (Constant 1000)
            )
            (When
                [Case
                    (Choice
                        (ChoiceId
                            "barangDikirim"
                            (Role "seller")
                        )
                        [Bound 1 2]
                    )
                    (If
                        (ValueEQ
                            (ChoiceValue
                                (ChoiceId
                                    "barangDikirim"
                                    (Role "seller")
                                ))
                            (Constant 1)
                        )
                        (When
                            [Case
                                (Choice
                                    (ChoiceId
                                        "barangDiterima"
                                        (Role "buyer")
                                    )
                                    [Bound 1 2]
                                )
                                (If
                                    (ValueEQ
                                        (ChoiceValue
                                            (ChoiceId
                                                "barangDiterima"
                                                (Role "buyer")
                                            ))
                                        (Constant 1)
                                    )
                                    (Pay
                                        (Role "buyer")
                                        (Account (Role "seller"))
                                        (Token "" "")
                                        (Constant 1000)
                                        Close 
                                    )
                                    Close 
                                )]
                            1673282160000
                            (Pay
                                (Role "buyer")
                                (Account (Role "seller"))
                                (Token "" "")
                                (Constant 1000)
                                Close 
                            )
                        )
                        (Pay
                            (Role "buyer")
                            (Account (Role "buyer"))
                            (Token "" "")
                            (Constant 1000)
                            Close 
                        )
                    )]
                1673278800000 Close 
            )]
        1673275200000 Close 
    )

playground.marlowe.json

{}