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

Question

我有一个定义为：

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

在方案中如何使用a或b作为其他参数的论点？点符号似乎无效。

Answer 1

您可以使用._1和._2作为访问器；或者您可以使用fst和snd作为提取元素的函数。

行使选择权时，还可以使用模式匹配来绑定一对组件，如下所示：

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