CardanoDVPR

{-# LANGUAGE OverloadedStrings #-}
module Example where

import Language.Marlowe.Extended

main :: IO ()
main = printJSON $ contract "Bank" "Client" 5 50 (TimeParam "BankDeadline") (TimeParam "ClientDeadlines")


{- Define a contract where the Bank makes an initial deposit and the Client makes a series of deposits of

CardanoDVPR

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

CardanoDVPR

{"valueParameterInfo":[["Amount1",{"valueParameterFormat":{"contents":[6,"ADA"],"tag":"DecimalFormat"},"valueParameterDescription":"Deposit Amount for Giver 1"}],["Amount2",{"valueParameterFormat":{"contents":[6,"ADA"],"tag":"DecimalFormat"},"valueParameterDescription":"Deposit Amount for Giver 2"}]],"timeParameterDescriptions":[["DepositDeadline","First Deposit Deadline"],["Deposit2Deadline","Second Depost Deadline"]],"roleDescriptions":[["Giver1","Payee \"Giver 1\""],["Giver2","Payee \"Giver 2\""],["Receiver","Receiver of funds from \"Giver 1\""],["Reciever","Reveiver of funds from \"Giver 2\""]],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

CardanoDVPR

{"valueParameterInfo":[],"timeParameterDescriptions":[["Deposit_Deadline","Deadline for the Deposit"],["Choice_Deadline","Deadline for the Choice"]],"roleDescriptions":[],"contractType":"Other","contractShortDescription":"Unknown","contractName":"Unknown","contractLongDescription":"We couldn't find information about this contract","choiceInfo":[]}

CardanoDVPR

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