TOSQUASH amend Summygroup Haddock

IntersectMBO · Dec 2, 2022 · 0fa6d0b · 0fa6d0b
1 parent ab865f2
commit 0fa6d0b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/cabal-lint/src/Cabal/Lint/Summygroup.hs b/cabal-lint/src/Cabal/Lint/Summygroup.hs
@@ -22,6 +22,9 @@ import qualified Data.Map as Map
 -- This abstraction is a semiring without the additive identity; we don't think
 -- there's an effective established name for that, so we keep the cheeky
 -- @Summygroup@.
+--
+-- This class does not constrain how 'mempty' and @<+>@ relate when @m@ is a 'Monoid'.
+-- EG it annihilates for 'Always' and is neutral for 'Sometimes'.
 class Semigroup m => Summygroup m where (<+>) :: m -> m -> m
 
 instance Summygroup b => Summygroup (a -> b) where