We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9cb3030 commit e0d4e8aCopy full SHA for e0d4e8a
src/Data/Patch.hs
@@ -85,6 +85,7 @@ instance Group (Proxy x) where
85
86
-- | Const lifts groups into a functor.
87
deriving instance Group a => Group (Const a x)
88
+
89
-- | Identity lifts groups pointwise (at only one point)
90
deriving instance Group a => Group (Identity a)
91
src/Data/Semigroup/Additive.hs
@@ -44,6 +44,7 @@ instance Additive (Proxy x)
44
45
-- | Const lifts additive semigroups into a functor.
46
instance Additive a => Additive (Const a x)
47
48
-- | Identity lifts additive semigroups pointwise (at only one point)
49
instance Additive a => Additive (Identity a)
50
0 commit comments