Extend module documentation for Data.Monoid.LCM.

This commit adds a description of the `DistributiveLCMMonoid` subclass.
blamario · Mar 30, 2023 · 1b5b244 · 1b5b244
1 parent ec2c321
commit 1b5b244
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Data/Monoid/LCM.hs b/src/Data/Monoid/LCM.hs
@@ -7,7 +7,10 @@
 -- least monoid from which either argument can be subtracted with the '</>'
 -- operation.
 --
--- The 'LCMMonoid' class is for Abelian, /i.e./, 'Commutative' monoids.
+-- For LCM monoids that are distributive, this module also provides the
+-- 'DistributiveLCMMonoid' subclass of 'LCMMonoid'.
+--
+-- All classes in this module are for Abelian, /i.e./, 'Commutative' monoids.
 --
 module Data.Monoid.LCM
     ( LCMMonoid (..)