Changelog for acts-0.3.1.0
Changelog for package acts
0.3.1.0 ( February 23, 2020 )
- Add a cabal flag to remove dependencies on
finite-typelits
andfinitary
, at the cost of the instances providing actions on finite types.
0.3.0.0 ( February 16, 2020 )
- Switch to using the
groups
package for the definition of theGroup
typeclass, splitting off the generic instances to thegroups-generic
package.
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-typelits
library. -
CyclicEnum
newtype changed toFinitely
newtype, which usesFinitary
instead ofBounded + Enum
. This ensures that the action is by a semigroup of the right cardinality. -
Remove
Act
instances forMax
,Min
to avoid possible overlap with user defined instances. -
Add
anti :: Group g => g -> Dual g
function to construct elements in the opposite group.
Obsoletes theAct
instance forDual
(now removed). -
Address a limitation of GHC < 8.10 with
DerivingVia
andMultiParamTypeClasses
, by manually writing some instances.
0.1.0.0 ( February 13, 2020 )
- Initial release.