@@ -24,10 +24,11 @@ import GHC.Generics
24-- | An 'Additive' 'Semigroup' is one where (<>) is commutative
24-- | An 'Additive' 'Semigroup' is one where (<>) is commutative
25class Semigroup q => Additive q where
25class Semigroup q => Additive q where
27−-- | Trivial group.
27+-- | Trivial additive semigroup.
28instance Additive ()
28instance Additive ()
30−-- | Product group. A Pair of groups gives rise to a group
30+-- | Product additive semigroup.
31+-- A Pair of additive semigroups gives rise to a additive semigroup
31instance (Additive a, Additive b) => Additive (a, b)
32instance (Additive a, Additive b) => Additive (a, b)
33-- See https://gitlab.haskell.org/ghc/ghc/issues/11135#note_111802 for the reason Compose is not also provided.
34-- See https://gitlab.haskell.org/ghc/ghc/issues/11135#note_111802 for the reason Compose is not also provided.
@@ -35,16 +36,16 @@ instance (Additive a, Additive b) => Additive (a, b)
35-- really do for functor composition.
36-- really do for functor composition.
36instance Additive (f (g a)) => Additive ((f :.: g) a)
37instance Additive (f (g a)) => Additive ((f :.: g) a)
38−-- | Product of groups, Functor style.
39+-- | Product of additive semigroups, Functor style.
39instance (Additive (f a), Additive (g a)) => Additive ((f :*: g) a)
40instance (Additive (f a), Additive (g a)) => Additive ((f :*: g) a)
41−-- | Trivial group, Functor style
42+-- | Trivial additive semigroup, Functor style
42instance Additive (Proxy x)
43instance Additive (Proxy x)
44−-- | Const lifts groups into a functor.
45+-- | Const lifts additive semigroups into a functor.
45instance Additive a => Additive (Const a x)
46instance Additive a => Additive (Const a x)
46−-- | Ideitnty lifts groups pointwise (at only one point)
47+-- | Ideitnty lifts additive semigroups pointwise (at only one point)
47instance Additive a => Additive (Identity a)
48instance Additive a => Additive (Identity a)
49−-- | Functions lift groups pointwise.
50+-- | Functions lift additive semigroups pointwise.
50instance Additive b => Additive (a -> b)
51instance Additive b => Additive (a -> b)