1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
# Revision history for commutative-semigroups
## 0.1.1.0 -- 2024-03-24
- Added more trivial instances for semigroups from base
## 0.1.0.2 -- 2023-12-22
- Support GHC 9.8.1
## 0.1.0.1 -- 2023-04-17
- Loosen version bounds
- Support GHC 9.6.1
## 0.1.0.0 -- 2022-06-12
- `Commutative (Product a)` now requires `CommutativeProduct a`.
`CommutativeProduct` is a new class to indicate `(*)` from `Num` is
commutative, which is not required by `Num`. (Example:
multiplication on
[quaternions](https://en.wikipedia.org/wiki/Quaternion) is
non-commutative, and the `Quaternion a` type from the `linear`
package has a valid `instance RealFloat a => Num (Quaternion a)`.)
**Remark:** There is also no canonical subclass class in the `Num`
hierarchy which implies commutative `(*)`, as both `Integral` and
`Floating` instances work here:
- `Integral` instances are customarily Euclidean Domains, which are
commutative rings with extra conditions.
- `Floating` instances customarily expect `(+)`, `(*)`, and `exp` to
form an exponential field, which is also a commutative ring with
extra conditions.
## 0.0.2.0 -- 2022-03-26
- Add `instance Ord a => Commutative (Set a)`
- Add `instance Commutative IntSet`
## 0.0.1.0 -- 2021-01-28
- Add instance for `Maybe`.
## 0.0.0.0 -- 2021-01-06
Initial version, created from `groups` package.
|
