Data.Group.Generics

Orphan instances allowing generic deriving of Group instances:

> data MyRecord
>   = MyRecord
>   { field1 :: Sum Double
>   , field2 :: Product Double
>   , field3 :: ( Sum Int, Sum Int )
>   }
>   deriving Generic
>   deriving ( Semigroup, Monoid, Group )
>     via GenericProduct MyRecord

Also includes some instances for newtypes from base such as Identity and Const.

Orphan instances

(Generic g, Group (Generically g), Abelian (Rep g ())) => Abelian (Generically g)

Group g => Group (Par1 g)

Methods

invert :: Par1 g -> Par1 g

(~~) :: Par1 g -> Par1 g -> Par1 g

pow :: Integral x => Par1 g -> x -> Par1 g

(Generic g, Monoid (Generically g), Group (Rep g ())) => Group (Generically g)

Methods

invert :: Generically g -> Generically g

(~~) :: Generically g -> Generically g -> Generically g

pow :: Integral x => Generically g -> x -> Generically g

Group (U1 p)

Methods

invert :: U1 p -> U1 p

(~~) :: U1 p -> U1 p -> U1 p

pow :: Integral x => U1 p -> x -> U1 p

Group (f p) => Group (Rec1 f p)

Methods

invert :: Rec1 f p -> Rec1 f p

(~~) :: Rec1 f p -> Rec1 f p -> Rec1 f p

pow :: Integral x => Rec1 f p -> x -> Rec1 f p

Group g => Group (K1 i g p)

Methods

invert :: K1 i g p -> K1 i g p

(~~) :: K1 i g p -> K1 i g p -> K1 i g p

pow :: Integral x => K1 i g p -> x -> K1 i g p

Group (f p) => Group (M1 i c f p)

Methods

invert :: M1 i c f p -> M1 i c f p

(~~) :: M1 i c f p -> M1 i c f p -> M1 i c f p

pow :: Integral x => M1 i c f p -> x -> M1 i c f p