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

标签 daml

我有一个选择定义为:

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

如何在场景中使用 ab 作为其他内容的参数?点表示法似乎不起作用。

最佳答案

您可以使用._1._2作为访问器;或者您可以使用 fstsnd 作为函数来提取元素。

您还可以在执行选择时使用模式匹配来绑定(bind)一对组件,如下所示:

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

关于daml - 如何访问一个选择的多个返回参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54532144/

相关文章:

daml - Main.daml 中的语法错误

typescript - 如何按时间倒序排列 create-daml-app 项目中的消息?

daml - 如何通过JSonApi从Daml中查询Map值?

daml - 行使选择时如何获取当前合约id

daml - 如何提取党的名称?

dictionary - 如何在 DAML 中访问映射键/值?

DAML 语言服务器无法运行 java