Add space between instances
commite0d4e8a425fba6cc315f72621f95063644525fe3
authorJohn Ericson <John.Ericson@Obsidian.Systems>
dateWed 17 Nov 2021, 00:57 (5 years ago)
parent9cb3030
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
@@ -44,6 +44,7 @@ instance Additive (Proxy x)
4444
4545-- | Const lifts additive semigroups into a functor.
4646instance Additive a => Additive (Const a x)
47+
4748-- | Identity lifts additive semigroups pointwise (at only one point)
4849instance Additive a => Additive (Identity a)
4950