Rent

metadata.json

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

playground.marlowe

When
  [ Case
      (Deposit
        (Role "Tenant")
        (Role "Tenant")
        (Token "" "")
        (ConstantParam "Collateral amount"))
      (When
        [ Case
            (Deposit
              (Role "Landlord")
              (Role "Landlord")
              (Token "" "")
              (ConstantParam "Collateral amount"))
            (When
              [ Case
                  (Deposit
                    (Role "Tenant")
                    (Role "Landlord")
                    (Token "" "")
                    (ConstantParam "Rent"))
                  (When
                    [ Case
                        (Choice
                          (ChoiceId "PayRentOnTime" (Role "Tenant"))
                          [Bound 0 0])
                        Close
                    ,
                    Case
                        (Choice
                          (ChoiceId "LatePayment" (Role "Tenant"))
                          [Bound 1 1])
                        (Pay
                          (Role "Tenant")
                          (Role "Landlord")
                          (Token "" "")
                          (MulValue (ConstantParam "Rent") (Constant 1.05)) -- Increase by 5%
                          (When
                            [ Case
                                (Choice
                                  (ChoiceId "PayRentOnTime" (Role "Tenant"))
                                  [Bound 0 0])
                                Close
                            ]
                            (After
                              (ConstantParam "PaymentDeadline") -- The deadline for the next month's payment
                              Close)
                          )
                        )
                    ]
                    (After
                      (ConstantParam "PaymentDeadline") -- Deadline for the first month's payment
                      Close)
                  ]
              (After
                (ConstantParam "CollateralDepositDeadline") -- Deadline for the collateral deposit by Tenant
                Close)
              )
            ]
        (After
          (ConstantParam "CollateralDepositDeadline") -- Deadline for the collateral deposit by Landlord
          Close)
        )
      ]
  (After
    (ConstantParam "CollateralDepositDeadline") -- Ensure the contract starts immediately
    Close)

playground.marlowe.json

{}