Homework - 2 givers - 1 receiver - haskell

Main.hs

{-# LANGUAGE OverloadedStrings #-}
module Example where

import Language.Marlowe.Extended.V1

main :: IO ()
main = printJSON $ contract


{- Define a contract, Close is the simplest contract which just ends the contract straight away
-}

contract :: Contract
contract = 
    When
        [deposits "Giver1" "Giver2",  deposits "Giver2" "Giver1"]
        (TimeParam "Deadline")
        Close
  where
    pay :: Contract
    pay = Pay
        (Role "Giver1")
        (Party (Role "Receiver"))
        (Token "" "")
        (ConstantParam "Deposit")
        (Pay
            (Role "Giver2")
            (Party (Role "Receiver"))
            (Token "" "")
            (ConstantParam "Deposit")
            Close 
        )

    deposit :: Party -> Action
    deposit p = Deposit p p ada (ConstantParam "Deposit")

    deposits :: Party -> Party -> Case
    deposits p1 p2 = 
        Case
            (deposit p1)
            (When
                [Case
                    (deposit p2)
                    pay]
                (TimeParam "Deadline")
                Close 
            )

metadata.json

{"valueParameterInfo":[["Deposit",{"valueParameterFormat":{"contents":[6,""],"tag":"DecimalFormat"},"valueParameterDescription":""}]],"timeParameterDescriptions":[],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

playground.marlowe.json

{}