All Versions
4
Latest Version
Avg Release Cycle
3 days
Latest Release
609 days ago

Changelog History

  • v0.3.1.0 Changes

    February 23, 2020
    • โž• Add a cabal flag to remove dependencies on finite-typelits and finitary, at the cost of the instances providing actions on finite types.
  • v0.3.0.0 Changes

    February 16, 2020
    • ๐Ÿ“ฆ Switch to using the groups package for the definition of the Group typeclass, ๐Ÿ“ฆ splitting off the generic instances to the groups-generic package.
  • 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 the finite-typelits library.

    • CyclicEnum newtype changed to Finitely newtype, which uses Finitary instead of Bounded + Enum. This ensures that the action is by a semigroup of the right cardinality.

    • โœ‚ Remove Act instances for Max, 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 the Act instance for Dual (now removed).

    • โž• Address a limitation of GHC < 8.10 with DerivingVia and MultiParamTypeClasses, by manually writing some instances.

  • v0.1.0.0 Changes

    February 13, 2020
    • ๐ŸŽ‰ Initial release.