ffd3bd9 · patch · git.iko.soy

patch.cabal+1−1

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

41 , lens >= 4.7 && < 5

42 , semigroupoids >= 4.0 && < 6

43 , transformers >= 0.5.6.0 && < 0.6

44− , witherable >= 0.3 && < 0.4

44+ , witherable >= 0.3 && < 0.5

45

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

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

src/Data/Patch.hs+1

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

85

86-- | Const lifts groups into a functor.

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

88+

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

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

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

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

90

91

src/Data/Semigroup/Additive.hs+1

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

46

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

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

49+

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

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

50instance Additive a => Additive (Identity a)

51instance Additive a => Additive (Identity a)

51

52