Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.DerivingVia.GHC.Generics.Semigroup

Description

GHC.Generics definition of <>

Documentation

class GSemigroup rep where Source #

Methods

gsappend ∷ rep x → rep x → rep x Source #

Instances details

GSemigroup (U1 ∷ Type → Type) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ U1 x → U1 x → U1 x Source #
GSemigroup (V1 ∷ Type → Type) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ V1 x → V1 x → V1 x Source #
(GSemigroup l, GSemigroup r) ⇒ GSemigroup (l :*: r) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ (l :: r) x → (l :: r) x → (l :*: r) x Source #
(TypeError ((('Text "No Generics definition of " ':<>: 'ShowType Semigroup) ':<>: 'Text " for types with multiple constructors ") ':<>: 'ShowType (l :+: r)) ∷ Constraint) ⇒ GSemigroup (l :+: r) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ (l :+: r) x → (l :+: r) x → (l :+: r) x Source #
Monoid c ⇒ GSemigroup (K1 i c ∷ Type → Type) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ K1 i c x → K1 i c x → K1 i c x Source #
GSemigroup f ⇒ GSemigroup (M1 i c f) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend ∷ M1 i c f x → M1 i c f x → M1 i c f x Source #