ffd3bd9 · patch · git.iko.soy

git.iko.soy/patch

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

commitffd3bd945b679bf2ec167e139b422eb12042649f authorJohn Ericson <John.Ericson@Obsidian.Systems> dateWed 17 Nov 2021, 00:58 (5 years ago) parent60d4aa6 5af9be6

3 files changed+3−1

compare with develop

unifiedsplit

patch.cabal+1−1 src/Data/Patch.hs+1 src/Data/Semigroup/Additive.hs+1

patch.cabal+1−1

@@ -41,7 +41,7 @@ library

4141 , lens >= 4.7 && < 5

4242 , semigroupoids >= 4.0 && < 6

4343 , transformers >= 0.5.6.0 && < 0.6

44− , witherable >= 0.3 && < 0.4

44+ , witherable >= 0.3 && < 0.5

4545

4646 if impl(ghc < 8.6) -- really, if base < 8.12

4747 build-depends: base-orphans >= 0.8 && < 0.9

src/Data/Patch.hs+1

@@ -85,6 +85,7 @@ instance Group (Proxy x) where

8585

8686-- | Const lifts groups into a functor.

8787deriving instance Group a => Group (Const a x)

88+

8889-- | Identity lifts groups pointwise (at only one point)

8990deriving instance Group a => Group (Identity a)

9091

src/Data/Semigroup/Additive.hs+1

@@ -46,6 +46,7 @@ instance Additive (Proxy x)

4646

4747-- | Const lifts additive semigroups into a functor.

4848instance Additive a => Additive (Const a x)

49+

4950-- | Identity lifts additive semigroups pointwise (at only one point)

5051instance Additive a => Additive (Identity a)

5152