Skip to main content

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

​
Module Snapshot

Lifecycle

Stable.

Notices

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)