gyorgybalazsi

module Main where 
import Types
import Utils
import DA.Text
import DA.Optional
import DA.Date as D
import DA.Time

import Daml.Script 

gyorgybalazsi

module Main where

import Daml.Script

type AssetId = ContractId Asset

template Asset
  with
    issuer : Party
    owner  : Party

gyorgybalazsi

module Main where
import DA.Text (sha256)
import Daml.Script
import DA.Optional (isSome)

template SystemRoleContract
  with 
    system : Party
  where 
    signatory system 

gyorgybalazsi

module Main where

import Daml.Script

template RelationshipOffer
  with 
    alice : Party 
    bob : Party 
  where
    signatory alice 

gyorgybalazsi

module Main where

import Daml.Script
import DA.Date
import DA.Time

data Currency = USD | EUR | CHF | HUF 
  deriving (Eq, Show)

gyorgybalazsi

module Main where 
import Daml.Script 
import DA.List

data VehicleListingStatus = FOR_SALE | SOLD 
  deriving (Eq, Show) 

template Member 
    with
        participant : Party 

gyorgybalazsi

-- Copyright (c) 2021 Rethink Ledgers LLC. All rights reserved.
-- SPDX-License-Identifier: Apache-2.0



module EF_BGY where
import Daml.Script as S 
import Daml.Trigger as T
import DA.Date

gyorgybalazsi

repeatAssetName : Asset -> Asset 
repeatAssetName Asset with .. = Asset with name = name <> name, ..

setup : Script AssetId
setup = script do
  alice <- allocatePartyWithHint "Alice" (PartyIdHint "Alice")
  bob <- allocatePartyWithHint "Bob" (PartyIdHint "Bob")

  let 
    issuer = alice

gyorgybalazsi

template Asset
  with
    issuer : Party
    owner  : Party
    name   : Text
  where
    ensure name /= ""
    signatory issuer
    controller owner can
      Give : AssetId

gyorgybalazsi

setup : Script AssetId
setup = script do
  alice <- allocatePartyWithHint "Alice" (PartyIdHint "Alice")
  bob <- allocatePartyWithHint "Bob" (PartyIdHint "Bob")

  let 
    issuer = alice
    owner = alice
    name = "TV"