DA.Either

文档索引

获取完整文档索引：https://docs.canton.network/llms.txt 在进一步浏览前，可用该文件发现所有可用页面。

Daml 模块 DA.Either 的参考文档。

Either 类型表示具有两种可能性的值。

有时用于表示值要么正确、要么为错误。按惯例，Left 构造子存放错误值，Right 存放正确值（助记：「right」也有「正确」之意）。

模块概览

稳定。 Status: `active` Introduced in: `3.4.9` Removed in: `-` Warnings: `0` Deprecations: `0` Deprecated since: `-`

lefts : [Either a b] -> [a]

从列表中提取所有 Left 元素。

rights : [Either a b] -> [b]

从列表中提取所有 Right 元素。

partitionEithers : [Either a b] -> ([a], [b])

将 Either 列表划分为两个列表，分别为 Left 与 Right 元素，并保持顺序。

isLeft : Either a b -> Bool

若给定值为 Left，返回 True，否则返回 False。

isRight : Either a b -> Bool

若给定值为 Right，返回 True，否则返回 False。

fromLeft : a -> Either a b -> a

返回 Left 值的内容；若为 Right 则返回默认值。

fromRight : b -> Either a b -> b

返回 Right 值的内容；若为 Left 则返回默认值。

optionalToEither : a -> Optional b -> Either a b

将 Optional 转为 Either；若 Optional 为 None，则使用所供参数作为 Left 值。

eitherToOptional : Either a b -> Optional b

将 Either 转为 Optional，丢弃 Left 中的值。

maybeToEither : a -> Optional b -> Either a b

eitherToMaybe : Either a b -> Optional b

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