​

DA.Monoid

​

Module Snapshot

​

Data Types

​

data All

• All

• 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

• Any

• 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

• Endo

• 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

> 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

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

​

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)