DA.List.Total
文档索引
获取完整文档索引：https://docs.canton.network/llms.txt 在进一步浏览前，可用该文件发现所有可用页面。
DA.List.Total
Daml 模块 DA.List.Total 的参考文档。
DA.List.Total
模块概览
函数
head
head : [a] -> Optional a返回列表首元素。列表为空时返回 None。
tail
tail : [a] -> Optional [a]返回除首元素外的列表。列表为空时返回 None。
last
last : [a] -> Optional a提取列表末元素。列表为空时返回 None。
init
init : [a] -> Optional [a]返回除末元素外的所有元素。列表为空时返回 None。
!!
!! : [a] -> Int -> Optional a返回列表第 n 个元素。索引越界时返回 None。
foldl1
foldl1 : (a -> a -> a) -> [a] -> Optional a从列表头部开始做左 fold。
例如 foldl1 f [a,b,c] = f (f a b) c。
列表为空时返回 None。
foldr1
foldr1 : (a -> a -> a) -> [a] -> Optional a从列表末元素开始做右 fold。
例如 foldr1 f [a,b,c] = f a (f b c)
foldBalanced1
foldBalanced1 : (a -> a -> a) -> [a] -> Optional a以平衡方式 fold 非空列表。平衡指运算符树中各元素深度大致相同（最大与最小深度差至多为 1）。累加运算须结合且可交换，才能得到与 foldl1 或 foldr1 相同的结果。
列表为空时返回 None。
minimumBy
minimumBy : (a -> a -> Ordering) -> [a] -> Optional a按给定比较函数返回列表最小元素。列表为空时返回 None。
maximumBy
maximumBy : (a -> a -> Ordering) -> [a] -> Optional a按给定比较函数返回列表最大元素。列表为空时返回 None。
minimumOn
minimumOn : Ord k => (a -> k) -> [a] -> Optional a按键函数比较时返回列表最小元素。
例如 minimumOn (\(x,y) -> x + y) [(1,2), (2,0)] == Some (2,0)。
列表为空时返回 None。
maximumOn
maximumOn : Ord k => (a -> k) -> [a] -> Optional a按键函数比较时返回列表最大元素。
例如 maximumOn (\(x,y) -> x + y) [(1,2), (2,0)] == Some (1,2)。
列表为空时返回 None。
本文由 CC Privacy Club 根据 Canton Network 官方文档（CC-BY-4.0）整理翻译，仅供学习；实现细节以官方最新版本为准。