daml - 如何在 DAML 中提取元组的组件？

Question

在 DAML 中给定一对，例如由(1, "test")构建，如何取出第一个和第二个组件？

Answer 1

给定 (Int, Text) 类型的 DAML 对 x，您可以使用选择器 x._1 或 fst 函数作为 fst x。您可以使用 x._2 或 snd x 获取第二个组件(示例中的 "test")。

x._1 选择器适用于所有元组(对、三元组和更多)，而 fst 仅适用于对。函数 fst3(和 snd3、thd3)在 DA.Tuple 中可用以处理三元组。