daml - 如何访问来自选择的多个返回参数

Question

我有一个选择定义为：

MyChoice: ( ContractId X, ContractId X )
        ....
        return ( a, b )

我如何使用a或b在场景中作为其他东西的论据？点符号似乎不起作用。

Answer 1

您可以使用._1and._2作为访问器；或者您可以使用fstandsnd作为函数来提取元素。

您还可以在执行选择时使用模式匹配绑定对的组件，如下所示：

somecode = do
   (x,y) <- exercise myCid MyChoice with ...
   doStuffWith x
   doStuffWIth y