Generics.Deriving.Semigroup · generic-deriving-1.14.7

valuegsappenddefault :: (Generic a, GSemigroup' (Rep a)) => a -> a -> a

#

classclass GSemigroup a where

#

Methods

gsappend :: a -> a -> ainfixr 6
gstimes :: Integral b => b -> a -> a
gsconcat :: NonEmpty a -> a

Instances34GSemigroup, …

GSemigroup VoidDefined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup AllDefined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup AnyDefined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup OrderingDefined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup ()Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GMonoid m => GSemigroup (WrappedMonoid m)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup · orphan
GSemigroup (First a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (Last a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (NonEmpty a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (First a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (Last a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (Endo a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup [a]Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup (Identity a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup (Down a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup (Dual a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup (Maybe a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
Ord a => GSemigroup (Max a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
Ord a => GSemigroup (Min a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
Num a => GSemigroup (Product a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
Num a => GSemigroup (Sum a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(Generic a, GSemigroup' (Rep a)) => GSemigroup (Default a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Default
Semigroups often have many sensible implementations of Data.Semigroup.<> / gsappend, and therefore no sensible default. Indeed, there is no GSemigroup' instance for representations of sum types.
In other cases, one may wish to use the existing wrapper newtypes in base, such as the following (using First):
```
newtype FirstSemigroup = FirstSemigroup Bool
  deriving stock (Eq, Show)
  deriving (GSemigroup) via (First Bool)
```
GSemigroup (Either a b)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup (Proxy s)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup b => GSemigroup (a -> b)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b) => GSemigroup (a, b)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup (Const a b)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
Alternative f => GSemigroup (Alt f a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c) => GSemigroup (a, b, c)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d) => GSemigroup (a, b, c, d)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e) => GSemigroup (a, b, c, d, e)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f) => GSemigroup (a, b, c, d, e, f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f, GSemigroup g) => GSemigroup (a, b, c, d, e, f, g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup a, GSemigroup b, GSemigroup c, GSemigroup d, GSemigroup e, GSemigroup f, GSemigroup g, GSemigroup h) => GSemigroup (a, b, c, d, e, f, g, h)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal

classclass GSemigroup' (f :: k -> Type) where

#

Methods

gsappend' :: f x -> f x -> f xinfixr 6

Instances4GSemigroup'

GSemigroup' U1Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup a => GSemigroup' (K1 i a)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
(GSemigroup' f, GSemigroup' g) => GSemigroup' (f :*: g)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal
GSemigroup' f => GSemigroup' (M1 i c f)Defined in generic-deriving-1.14.7 · Generics.Deriving.Semigroup.Internal

Methods

Methods

Orphan instances