Canton developer docs / Application development

Complete documentation page mirrored and translated for learning. Attribution is shown at the bottom of each article.

阅读中文版

appdevreferencedaml-standard-libraryda-monoid

DA.Monoid

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt Use this file to discover all available pages before exploring further.

DA.Monoid

Reference documentation for Daml module DA.Monoid.

DA.Monoid

Module Snapshot

Stable. Status: `active` Introduced in: `3.4.9` Removed in: `-` Warnings: `0` Deprecations: `0` Deprecated since: `-`

Data Types

data All

Boolean monoid under conjunction (&&)

Constructors:

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

Instances:

  • 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

Boolean Monoid under disjunction (||)

Constructors:

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

Instances:

  • 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

The monoid of endomorphisms under composition.

Constructors:

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

Instances:

  • 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 under (*)

> Product 2 <> Product 3
Product 6

Constructors:

  • Product a

Instances:

  • 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 under (+)

> Sum 1 <> Sum 2
Sum 3

Constructors:

  • Sum a

Instances:

  • 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)

Orphan Typeclass Instances

  • 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)

Mirrored from Canton Network official documentation (CC-BY-4.0) by CC Privacy Club for learning purposes.