DA.TextMap

Daml 模块 DA.TextMap 参考文档

DA.TextMap

TextMap——键值对关联数组，每个键最多出现一次。

模块快照

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

函数

`fromList`

fromList : [(Text, a)] -> TextMap a

由键值对列表创建映射。

`fromListWithL`

fromListWithL : (a -> a -> a) -> [(Text, a)] -> TextMap a

由键值对列表创建映射，并用合并函数处理重复键。合并函数仅在键多次出现时调用，参数为新插入值与该键已累积值。

示例：

>>> fromListWithL (++) [("A", [1]), ("A", [2]), ("B", [2]), ("B", [1]), ("A", [3])]
fromList [("A", [3, 2, 1]), ("B", [1, 2])]
>>> fromListWithL (++) [] == (empty : TextMap [Int])
True

`fromListWithR`

fromListWithR : (a -> a -> a) -> [(Text, a)] -> TextMap a

类似 fromListWithL，但合并函数参数顺序相反。示例：

>>> fromListWithR (++) [("A", [1]), ("A", [2]), ("B", [2]), ("B", [1]), ("A", [3])]
fromList [("A", [1, 2, 3]), ("B", [2, 1])]
>>> fromListWithR (++) [] == (empty : TextMap [Int])
True

`fromListWith`

fromListWith : (a -> a -> a) -> [(Text, a)] -> TextMap a

`toList`

toList : TextMap a -> [(Text, a)]

将映射转为键值对列表，键按升序排列。

`empty`

empty : TextMap a

空映射。

`size`

size : TextMap a -> Int

映射中元素个数。

`null`

null : TextMap v -> Bool

映射是否为空？

`lookup`

lookup : Text -> TextMap a -> Optional a

按键查找值。

`member`

member : Text -> TextMap v -> Bool

键是否在映射中？

`filter`

filter : (v -> Bool) -> TextMap v -> TextMap v

用谓词过滤 TextMap：仅保留值满足谓词的条目。

`filterWithKey`

filterWithKey : (Text -> v -> Bool) -> TextMap v -> TextMap v

用谓词过滤 TextMap：仅保留满足谓词的条目。

`delete`

delete : Text -> TextMap a -> TextMap a

删除键及其值；键不存在时返回原映射。

`singleton`

singleton : Text -> a -> TextMap a

创建单键映射。

`insert`

insert : Text -> a -> TextMap a -> TextMap a

插入键值对；键已存在时用 f new_value old_value 合并。

`insertWith`

insertWith : (v -> v -> v) -> Text -> v -> TextMap v -> TextMap v

插入键值对；键已存在时用 f new_value old_value 合并。

`union`

union : TextMap a -> TextMap a -> TextMap a

两映射的并集；键冲突时优先取第一个映射的值。

`merge`

merge : (Text -> a -> Optional c) -> (Text -> b -> Optional c) -> (Text -> a -> b -> Optional c) -> TextMap a -> TextMap b -> TextMap c

合并两映射。merge f g h x y 对仅出现在 x 的键用 f，仅出现在 y 的键用 g，两映射都有的键用 h；保留结果为 Some 的条目。

孤立类型类实例

instance Show a => Show (TextMap a)
instance Eq a => Eq (TextMap a)
instance Ord a => Ord (TextMap a)
instance Semigroup (TextMap b)
instance Monoid (TextMap b)
instance Functor TextMap
instance Foldable TextMap
instance Traversable TextMap

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