Ticket offer

TicketOffer.hs

module Main where

import DA.Assert ((===))
import Daml.Script

template TicketOffer
  with
      organizer : Party
      buyer : Party
      price : Decimal
  where
      signatory organizer
      observer buyer
      choice Accept : ContractId TicketAgreement
        with 
          cashId : ContractId Cash
        controller buyer
        do 
          cash <- fetch cashId
          cash.amount === price
          exercise cashId Transfer with
              newOwner = organizer
          create TicketAgreement with
              organizer; owner = buyer

template Cash 
  with 
    issuer : Party 
    owner : Party 
    amount : Decimal 
  where 
    signatory issuer 
    observer owner
    choice Transfer : ContractId Cash 
      with
        newOwner : Party 
      controller owner
      do 
        create this with owner = newOwner 

template TicketAgreement 
  with 
    organizer : Party 
    owner : Party 
  where 
    signatory organizer, owner 

setup : Script (ContractId TicketAgreement)
setup = script do 
  alice <- allocatePartyWithHint "Alice" (PartyIdHint "Alice")
  ticketWizard <- allocatePartyWithHint "TicketWizard" (PartyIdHint "TicketWizard")
  scroogeBank <- allocatePartyWithHint "ScroogeBank" (PartyIdHint "ScroogeBank")
  aliceId <- validateUserId "alice"
  ticketWizardId <- validateUserId "ticketwizard"
  scroogeBankId <- validateUserId "scroogebank"
  createUser (User aliceId (Some alice)) [CanActAs alice]
  createUser (User ticketWizardId (Some ticketWizard)) [CanActAs ticketWizard]
  createUser (User scroogeBankId (Some scroogeBank)) [CanActAs scroogeBank]

  cashCid <- submit scroogeBank $ createCmd (Cash scroogeBank alice 10.0)
  offerCid <- submit ticketWizard $ createCmd (TicketOffer ticketWizard alice 10.0)
  submit alice $ exerciseCmd offerCid (Accept cashCid)