- Loosen dependency bounds for containers-0.8
- Loosen dependency bounds for GHC 9.10, thanks to yaitskov
- Removed the instances for the
EventandLifetimetypes unavailable on Windows
- Added more trivial instances for semigroups from base
- Support GHC 9.8.1
- Loosen version bounds
- Support GHC 9.6.1
-
Commutative (Product a)now requiresCommutativeProduct a.CommutativeProductis a new class to indicate(*)fromNumis commutative, which is not required byNum. (Example: multiplication on quaternions is non-commutative, and theQuaternion atype from thelinearpackage has a validinstance RealFloat a => Num (Quaternion a).)Remark: There is also no canonical subclass class in the
Numhierarchy which implies commutative(*), as bothIntegralandFloatinginstances work here:-
Integralinstances are customarily Euclidean Domains, which are commutative rings with extra conditions. -
Floatinginstances customarily expect(+),(*), andexpto form an exponential field, which is also a commutative ring with extra conditions.
-
- Add
instance Ord a => Commutative (Set a) - Add
instance Commutative IntSet
- Add instance for
Maybe.
Initial version, created from groups package.