Canton 开发者文档 / 应用开发

完整文档页面（中文翻译）。文末附有来源说明。

阅读英文版

appdevreferencedaml-standard-libraryda-monoid

DA.Monoid

Daml 模块 DA.Monoid 参考文档。

DA.Monoid

模块概览

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

数据类型

data All

在合取（&&）下的布尔 Monoid。

构造子：

  • All | Field | Type | Description | | :---- | :--- | :---------- | | getAll | Bool | |

实例：

  • instance Monoid All
  • instance Semigroup All
  • instance GetField getAll All Bool
  • instance SetField getAll All Bool
  • instance Eq All
  • instance Ord All
  • instance Show All

data Any

在析取（||）下的布尔 Monoid。

构造子：

  • Any | Field | Type | Description | | :---- | :--- | :---------- | | getAny | Bool | |

实例：

  • instance Monoid Any
  • instance Semigroup Any
  • instance GetField getAny Any Bool
  • instance SetField getAny Any Bool
  • instance Eq Any
  • instance Ord Any
  • instance Show Any

data Endo a

在复合下的自同态 Monoid。

构造子：

  • Endo | Field | Type | Description | | :---- | :--- | :---------- | | appEndo | a -> a | |

实例：

  • instance Monoid (Endo a)
  • instance Semigroup (Endo a)
  • instance GetField appEndo (Endo a) (a -> a)
  • instance SetField appEndo (Endo a) (a -> a)

data Product a

在（*）下的 Monoid。

> Product 2 <> Product 3
Product 6

构造子：

  • Product a

实例：

  • instance Multiplicative a => Monoid (Product a)
  • instance Multiplicative a => Semigroup (Product a)
  • instance Eq a => Eq (Product a)
  • instance Ord a => Ord (Product a)
  • instance Additive a => Additive (Product a)
  • instance Multiplicative a => Multiplicative (Product a)
  • instance Show a => Show (Product a)

data Sum a

在（+）下的 Monoid。

> Sum 1 <> Sum 2
Sum 3

构造子：

  • Sum a

实例：

  • instance Additive a => Monoid (Sum a)
  • instance Additive a => Semigroup (Sum a)
  • instance Eq a => Eq (Sum a)
  • instance Ord a => Ord (Sum a)
  • instance Additive a => Additive (Sum a)
  • instance Multiplicative a => Multiplicative (Sum a)
  • instance Show a => Show (Sum a)

孤儿类型类实例

  • instance Eq All

  • instance Ord All

  • instance Show All

  • instance Eq Any

  • instance Ord Any

  • instance Show Any

  • instance Eq a => Eq (Sum a)

  • instance Ord a => Ord (Sum a)

  • instance Show a => Show (Sum a)

  • instance Additive a => Additive (Sum a)

  • instance Multiplicative a => Multiplicative (Sum a)

  • instance Eq a => Eq (Product a)

  • instance Ord a => Ord (Product a)

  • instance Show a => Show (Product a)

  • instance Additive a => Additive (Product a)

  • instance Multiplicative a => Multiplicative (Product a)

  • instance Semigroup All

  • instance Monoid All

  • instance Semigroup Any

  • instance Monoid Any

  • instance Semigroup (Endo a)

  • instance Monoid (Endo a)

  • instance Additive a => Semigroup (Sum a)

  • instance Additive a => Monoid (Sum a)

  • instance Multiplicative a => Semigroup (Product a)

  • instance Multiplicative a => Monoid (Product a)

  • instance GetField getAll All Bool

  • instance SetField getAll All Bool

  • instance GetField getAny Any Bool

  • instance SetField getAny Any Bool

  • instance GetField appEndo (Endo a) (a -> a)

  • instance SetField appEndo (Endo a) (a -> a)

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