# 0.3.0.0
- Added laws for the following factorial semigroup and monoid classes:
- `Data.Semigroup.Factorial.Factorial`
- `Data.Semigroup.Factorial.StableFactorial`
- `Data.Monoid.Factorial.FactorialMonoid`
- Added laws for the following GCD and LCM monoid classes:
- `Data.Monoid.GCD.{Left,Right}DistributiveGCDMonoid`
- `Data.Monoid.GCD.DistributiveGCDMonoid`
- `Data.Monoid.LCM.DistributiveLCMMonoid`
- Added missing laws for the following class:
- `Data.Monoid.GCD.OverlappingGCDMonoid`
- Removed `cancellativeGCDMonoidLaws`.
- The documentation for the `GCDMonoid` class no longer states these laws.
# 0.2.0.0
- Improved generation of arbitrary `Semigroup` value combinations.
- Added derived laws for the `LeftGCDMonoid` type class.
- Added derived laws for the `RightGCDMonoid` type class.
- Removed hard-to-satisfy coverage check from `LCMMonoid` type class laws.
- Added support for building with GHC `9.6` series.
# 0.1.0.0
- Added laws for the `LCMMonoid` type class.
- Added laws for the `GCDMonoid` type class to match those of `LCMMonoid`.
# 0.0.0.1
- Revised lower dependency bound for the `vector` package.
# 0.0.0.0
- Provides support for testing instances of classes defined in the following
modules:
- `Data.Monoid.GCD`
- `Data.Monoid.Monus`
- `Data.Monoid.Null`
- `Data.Semigroup.Cancellative`