DA.Tuple

Daml 模块 DA.Tuple 参考文档

Tuple——元组的常用函数。

模块快照

稳定。状态：`active` 引入版本：`3.4.9` 移除版本：`-` 警告数：`0` 弃用数：`0` 弃用自：`-`

first : (a -> a') -> (a, b) -> (a', b)

对二元组第一分量应用函数得到的新二元组。

second : (b -> b') -> (a, b) -> (a, b')

对二元组第一分量应用函数得到的新二元组。对二元组第二分量应用函数得到的新二元组。

both : (a -> b) -> (a, a) -> (b, b)

对二元组第一分量应用函数得到的新二元组。对二元组两个分量应用同一函数。

swap : (a, b) -> (b, a)

交换二元组两个分量的顺序。

dupe : a -> (a, a)

将单个值复制为二元组。

dupe 12 == (12, 12)

fst3 : (a, b, c) -> a

取三元组第一分量。

snd3 : (a, b, c) -> b

取三元组第二分量。

thd3 : (a, b, c) -> c

取三元组第三分量。

curry3 : ((a, b, c) -> d) -> a -> b -> c -> d

将非柯里化函数转为柯里化函数。

uncurry3 : (a -> b -> c -> d) -> (a, b, c) -> d

将柯里化函数转为接受三元组的函数。

本文由 CC Privacy Club 根据 Canton Network 官方文档（CC-BY-4.0）整理翻译，仅供学习；实现细节以官方最新版本为准。