All Versions
4
Latest Version
Avg Release Cycle
3 days
Latest Release
1315 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.