1 Basic contracts

To begin with, you’re going to write a very small DAML template, which represents a self-issued, non-transferable token. Because it’s a minimal template, it isn’t actually useful on its own - you’ll make it more useful later - but it’s enough that it can show you the most basic concepts:

  • Transactions
  • DAML Modules and Files
  • Templates
  • Contracts
  • Signatories

Hint

Remember that you can load all the code for this section into a folder 1_Token by running daml new 1_Token daml-intro-1

DAML ledger basics

Like most structures called ledgers, a DAML Ledger is just a list of commits. When we say commit, we mean the final result of when a party successfully submits a transaction to the ledger.

Transaction is a concept we’ll cover in more detail through this introduction. The most basic examples are the creation and archival of a contract.

A contract is active from the point where there is a committed transaction that creates it, up to the point where there is a committed transaction that archives it again.

DAML specifies what transactions are legal on a DAML Ledger. The rules the DAML code specifies are collectively called a DAML model or contract model.

DAML files and modules

Each .daml file defines a DAML Module. At the top of each DAML file is a pragma informing the compiler of the language version and the module name:

module Token where

Code comments in DAML are introduced with :

-- The first line of a DAML file is a pragma telling the compiler the language
-- version to use.

-- A DAML file defines a module. The second line of a DAML file gives the
-- module a name.
module Token where

Templates

A template defines a type of contract that can be created, and who has the right to do so. Contracts are instances of templates.

A simple template
template Token
  with
    owner : Party
  where
    signatory owner

You declare a template starting with the template keyword, which takes a name as an argument.

DAML is whitespace-aware and uses layout to structure blocks. Everything that’s below the first line is indented, and thus part of the template’s body.

Contracts contain data, referred to as the create arguments or simply arguments. The with block defines the data type of the create arguments by listing field names and their types. The single colon : means “of type”, so you can read this as “template Token with a field owner of type Party”.

Token contracts have a single field owner of type Party. The fields declared in a template’s with block are in scope in the rest of the template body, which is contained in a where block.

Signatories

The signatory keyword specifies the signatories of a contract instance. These are the parties whose authority is required to create the contract or archive it again – just like a real contract. Every contract must have at least one signatory.

Furthermore, DAML ledgers guarantee that parties see all transactions where their authority is used. This means that signatories of a contract are guaranteed to see the creation and archival of that contract.

Next up

In 2 Testing templates using scenarios, you’ll learn about how to try out the Token contract template in DAML’s inbuilt scenario testing language.