Changelog for acts-0.3.0.0
Changelog for package acts
0.3.0.0 ( February 16, 2020 )
- Switch to using the 
groupspackage for the definition of theGrouptypeclass, splitting off the generic instances to thegroups-genericpackage. 
0.2.0.0 ( February 14, 2020 )
- 
Remove definition of cyclic groups. It is instead suggested to use a library which defines modular arithmetic.
For instance:type C (n :: Nat) = Sum ( Finite n ), using thefinite-typelitslibrary. - 
CyclicEnumnewtype changed toFinitelynewtype, which usesFinitaryinstead ofBounded + Enum. This ensures that the action is by a semigroup of the right cardinality. - 
Remove
Actinstances forMax,Minto avoid possible overlap with user defined instances. - 
Add
anti :: Group g => g -> Dual gfunction to construct elements in the opposite group.
Obsoletes theActinstance forDual(now removed). - 
Address a limitation of GHC < 8.10 with
DerivingViaandMultiParamTypeClasses, by manually writing some instances. 
0.1.0.0 ( February 13, 2020 )
- Initial release.