Reference: built-in functions¶
This page gives reference information on functions for.
Working with time¶
Daml has these built-in functions for working with time:
datetime: creates a
Timegiven year, month, day, hours, minutes, and seconds as argument.
subTime: subtracts one time from another. Returns the
addRelTime: add times. Takes a
RelTimeand adds the
seconds: constructs a
RelTimeof the specified length.
pass: (in Daml Script tests only) use
pass : RelTime -> Script Timeto advance the ledger time by the argument amount. Returns the new time.
Working with numbers¶
Daml has these built-in functions for working with numbers:
round: rounds a
round dis the nearest
d. Tie-breaks are resolved by rounding away from zero, for example:
round 2.5 == 3 round (-2.5) == -3 round 3.4 == 3 round (-3.7) == -4
truncate: converts a
Int, truncating the value towards zero, for example:
truncate 2.2 == 2 truncate (-2.2) == -2 truncate 4.9 == 4 v (-4.9) == -4
intToDecimal: converts an
The set of numbers expressed by
Decimal is not closed under division as the result may require more than 10 decimal places to represent. For example,
1.0 / 3.0 == 0.3333... is a rational number, but not a
Working with text¶
Daml has these built-in functions for working with text:
<>operator: concatenates two
showconverts a value of the primitive types (
RelTime) to a
To escape text in Daml strings, use
|Character||How to escape it|
Working with lists¶
Daml has these built-in functions for working with lists:
foldr: see Folding below.
A fold takes:
- a binary operator
- a first accumulator value
- a list of values
The elements of the list are processed one-by-one (from the left in a
foldl, or from the right in a
We’d usually recommend using
foldr is usually slower. This is because it needs to traverse the whole list before starting to discharge its elements.
Processing goes like this:
- The binary operator is applied to the first accumulator value and the first element in the list. This produces a second accumulator value.
- The binary operator is applied to the second accumulator value and the second element in the list. This produces a third accumulator value.
- This continues until there are no more elements in the list. Then, the last accumulator value is returned.
As an example, to sum up a list of integers in Daml:
sumList = script do assert (foldl (+) 0 [1, 2, 3] == 6)