daml new persondata --template skeleton

cd persondata/daml

Далі в Explorer знаходимо папку persondata, відкрваємо папку daml та бачимо файл Main.daml
Його потрібно перейменувати у PersonData.daml

Відкриваємо PersonData.daml видаляємо вміст та вставляємо новий

module PersonData where

import Daml.Script
import DA.Optional (Optional(..))
import DA.List (delete)

data PersonKey = PersonKey with
   keyIssuer : Party
   keyDataId : Text
 deriving (Eq, Show)

template PersonData
 with
   issuer : Party  
   owner : Party    
   dataId : Text     
   personalInfo : (Text, Text, Int)
   addresses : [Text]
   contact : Optional Text
 where
   signatory issuer, owner
   ensure dataId /= ""

   choice UpdatePersonalInfo : ContractId PersonData
     with
       newInfo : (Text, Text, Int)
     controller owner
     do
       archive self
       create this with personalInfo = newInfo

   choice AddAddress : ContractId PersonData
     with
       newAddress : Text
     controller owner
     do
       archive self
       create this with addresses = newAddress :: addresses

   choice SetContact : ContractId PersonData
     with
       newContact : Text
     controller owner
     do
       create this with contact = Some newContact

   choice ClearContact : ContractId PersonData
     controller owner
     do
       archive self
       create this with contact = None

template PersonDataProposal
 with
   proposal : PersonData
 where
   signatory proposal.issuer
   observer proposal.owner 
  
   choice Accept : ContractId PersonData
     controller proposal.owner
     do
       create proposal
test_person_data = script do
   issuer <- allocateParty "IssuerParty"
   owner <- allocateParty "OwnerParty"
  
   let initialPersonData = PersonData with
           issuer = issuer
           owner = owner
           dataId = "KYC-001"
           personalInfo = ("Jane", "Doe", 35)
           addresses = ["10 Downing Street"]
           contact = Some "old.contact@example.com"
          
   proposalCid <- submit issuer do
       createCmd PersonDataProposal with
           proposal = initialPersonData

   personCid <- submit owner do
       exerciseCmd proposalCid Accept

   Some contract <- queryContractId issuer personCid
   assert (contract.contact == Some "old.contact@example.com")
   
   let personKey = PersonKey with 
         keyIssuer = issuer
         keyDataId = "KYC-001"
   
   newCid <- submit owner do
     exerciseCmd personCid SetContact with
         newContact = "new.contact@example.com"
    
   Some newContract <- queryContractId owner newCid
   assert (newContract.contact == Some "new.contact@example.com")
   return ()

Натискаємо Ctrl+S для зберігання.


Над test_person_data натискаємо на scrip results та у вікні результатів ставимо галочку на Show archived

На скріні має бути повністю видно верхню табличку і все

1.1 Переходимо в наш код спейс, в якому ми працювали на квесті №3, можете відкрити з історії браузера. Далі на панелі зліва натискаємо на розширення

або просто натискаємо Ctrl+Shift+X.

1.2 В пошуку вводимо Daml Studio і обираємо перше зі списку, як на скріншоті та натискаємо кнопку встановити.

2. Далі переходимо до виконання самого квесту

2.1 В термінал вставляємо команду

daml new intro1 --template daml-intro-1

Якщо все ок, то в терміналі побачите наступне:

Created a new project in "intro1" based on the template "daml-intro-1".Після цього переходимо в Explorer

Бачимо тут нашу папку intro1, яку створили на попередньому кроці. Натискаємо на неї, щоб розгорнути вміст.

Тут бачимо ще одну папку daml та файл daml.yaml

Відкриваємо папку daml та бачимо у ній файл Token.daml, натискаємо на нього, після чого у нас відкриється по середині екрану вміст цього файлу

Видаляємо весь вміст цього файлу та вставляємо наступний код

module Token where
import Daml.Script

template Token
  with
    owner : Party
  where
    signatory owner

token_test_1 = script do
  alice <- allocateParty "Alice"
  
  submit alice do
    createCmd Token with owner = alice

token_test_2 = script do
  alice <- allocateParty "Alice"
  bob <- allocateParty "Bob"

  submitMustFail alice do
    createCmd Token with owner = bob
  submitMustFail bob do
    createCmd Token with owner = alice

  submit alice do
    createCmd Token with owner = alice
  submit bob do
    createCmd Token with owner = bob

token_archive_exercise = script do
  alice <- allocateParty "Alice"
  
  alice_token_cid <- submit alice do
    createCmd Token with owner = alice
  
  submit alice do
    archiveCmd alice_token_cid

Та зберігаємо файл натиснувши Ctrl+SПісля цього у вас має зявитись 3 кнопки Script results

Для скріна нам потрібні результати token_test_2 і token_archive_exercise, тому натискаємо напроти них на Script results. Після чого результат відкриється праворуч у двох вкладках. На вкладці token_archive_exercise нам потрібно поставити галочку, як відмічено на скріншоті.

Далі робимо спліт вікна з результатами, щоб на вікні було видно результат двох скриптів, натискаємо на кнопку що на скріні(або CTRL + \)

і переносимо туди одну із вкладок з результатами. Для token_archive_exercise не забудьте повторно поставити галочку.На виході у нас має бути ось такий скріншот, де буде видно весь код token_test_1 token_test_2 і token_archive_exercise, результат token_test_2 і token_archive. Ну і зрозуміло що фулл скрін з нижньою панеллю, як це було у попередніх тасках, мій скрін просто як приклад. Якщо у вас не поміщається увесь код, то зменшіть масштаб сторінки.