daml - 如何在 DAML 中为原始类型和记录指定默认值？

Question

我看不到在 DAML 中指定默认值的方法。假设我想将 False 指定为 Bool 的默认值，或者将 time now 指定为 Time 类型变量的默认值。我怎么做？

score 3 · Accepted Answer

DAML 不提供指定默认值的方法。但是，您可以创建设置默认值的函数，例如，假设您有一个模板 T：

template T 
  with
    p : Party
    value : Int
  where
    signatory p

您现在可以定义一个createT将设置value为的函数42：

createT : Party -> T
createT p = T with
  p = p
  value = 42

然后，您可以使用with-syntax 覆盖默认值，例如

(createT alice) with value = 43

1 回答 1