All Versions
4
Latest Version
Avg Release Cycle
3 days
Latest Release
1909 days ago
Changelog History
Changelog History
-
v0.3.1.0 Changes
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.
- ➕ Add a cabal flag to remove dependencies on
-
v0.3.0.0 Changes
February 16, 2020- 📦 Switch to using the
groups
package for the definition of theGroup
typeclass, 📦 splitting off the generic instances to thegroups-generic
package.
- 📦 Switch to using the
-
v0.2.0.0 Changes
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.
-
v0.1.0.0 Changes
February 13, 2020- 🎉 Initial release.