Merge branch 'module-for-additive' into proper-orphans-dep

Author: Ericson2314

patch.cabal

@@ -41,7 +41,7 @@ library
                , lens >= 4.7 && < 5
                , semigroupoids >= 4.0 && < 6
                , transformers >= 0.5.6.0 && < 0.6
-               , witherable >= 0.3 && < 0.4
+               , witherable >= 0.3 && < 0.5
 
   if impl(ghc < 8.6) -- really, if base < 8.12
     build-depends: base-orphans >= 0.8 && < 0.9

src/Data/Patch.hs

@@ -85,6 +85,7 @@ instance Group (Proxy x) where
 
 -- | Const lifts groups into a functor.
 deriving instance Group a => Group (Const a x)
+
 -- | Identity lifts groups pointwise (at only one point)
 deriving instance Group a => Group (Identity a)
 

src/Data/Semigroup/Additive.hs

@@ -46,6 +46,7 @@ instance Additive (Proxy x)
 
 -- | Const lifts additive semigroups into a functor.
 instance Additive a => Additive (Const a x)
+
 -- | Identity lifts additive semigroups pointwise (at only one point)
 instance Additive a => Additive (Identity a)