transactions.hs

{-# LANGUAGE ApplicativeDo #-}
module Token where

import Daml.Script

template Token
  with
    issuer : Party
    owner : Party
    amount : Int
    createdAt : Time
  where
    signatory issuer
    observer owner 
    controller owner can 
      Transfer : ContractId Token 
        with 
          newOwner : Party 
        -- This is a monadic transaction
        do 
          createdAt <- getTime
          create this with owner = newOwner
    
test : Script ()
test = do 
  issuer <- allocateParty "issuer"
  alice <- allocateParty "Alice"
  bob <- allocateParty "Alice"
  charles <- allocateParty "Charles"
  dave <- allocateParty "Dave"
  newOwner <- allocateParty "newOwner"
  let amount = 100 
  createdAt <- getTime
  -- This is an applicative transaction with applicative do notation
  submit issuer do
      createCmd Token with owner = alice, ..
      createCmd Token with owner = bob, ..
      createCmd Token with owner = charles, ..
      createCmd Token with owner = dave, ..
      return ()