Changelog for acts-0.3.1.2
Changelog for package acts
0.3.1.2 ( February 03, 2025 )
- Bump upper bounds on
base,deepseq,finitary, andfinite-typelits(thanks to @viercc).
0.3.1.1 ( December 3, 2022 )
- Bump upper bounds on
base,finitaryandgroups.
0.3.1.0 ( February 23, 2020 )
- Add a cabal flag to remove dependencies on
finite-typelitsandfinitary, at the cost of the instances providing actions on finite types.
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.