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 ( V1 :: Type -> Type ) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend :: V1 x -> V1 x -> V1 x Source #
GSemigroup ( U1 :: Type -> Type ) Source #
Instance details Defined in Data.DerivingVia.GHC.Generics.Semigroup Methods gsappend :: U1 x -> U1 x -> U1 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 #
( 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 #
( 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 #
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 #