All Versions
Latest Version
Avg Release Cycle
Latest Release

Changelog History

  • v0.0.8.0 Changes

    • โž• Added two properties for each: foldMapFree, foldNatFree and foldNatFree2.
    • โž• Added default implementations of codom / forget, codom1 / forget and codom2 / forget2, what simplifies writting instances.
    • ๐Ÿ”„ Changed internal representation of FreeAbelianSemigroup: use Natural
    • โœ‚ removed natural-number dependency and use Numeric.Natural.Natural instead.
    • Applicative instance for FreeMAction.
    • โž• Added Free1 type.
    • โœ‚ Removed constraints dependency.
    • ๐Ÿ“‡ Renamed Data.Semigroup.SemiLattice to Data.Semigroup.Semilattice, also FreeSemiLattice renamed to FreeSemilattice.
    • various optimisation (rewrite rules & inline pragmas)
  • v0.0.7.2 Changes

    • โœจ Enhanced documentation, and properly attributed fix in ChangeLog.
  • v0.0.7.1 Changes

    • ๐Ÿ†“ Data.Group.Free.normalize and Data.Group.Free.normalizeL are not both O(n), but the former is implemented using the latter (e.g. transforms DList to a list), by Justin Le (
  • v0.0.7.0 Changes

    • ๐Ÿ†“ Poly kinded Control.Algebra.Free.FreeAlgebra and Control.Algebra.Free2.FreeAlgebra2
    • โœ‚ removed actions (MSet, SSet), use monoid-extras or semigroups-actions packages
  • v0.0.6.0 Changes

    • Num a => SSet (Sum a) a and Num a => SSet (Product a) a instances
    • Num a => MSet (Sum a) a and Num a => MSet (Product a) a instances
    • โœ‚ removed some overlapping instances for SSet and MSet
    • ๐Ÿ‘€ Control.Algebra.Free2 module, see free-category package for applications.
  • v0.0.5.1 Changes

    • ๐Ÿ‘Œ Improved documentation
  • v0.0.5.0 Changes

    • FreeAlgebra renamed proof to codom, added Proof smart constructor proof.
    • FreeAlgebra instance for Identity functor
    • ๐Ÿ†“ generic Free type
    • DList and FreeGroup based on DList, FreeGroupL
    • ๐Ÿ“š documentation on strictness / laziness improved
  • v0.0.4.0 Changes

    • S new type wrapper in SSet, and overlappable instance for SSet s a => SSet (S s) (Endo a)
    • foldrFree and friends
    • foldrMSet
    • ๐Ÿ“ฆ documented intersection with monad-mmorph package.
  • v0.0.3.0 Changes

    • ๐Ÿ’ฅ Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now using FreeAlgebra and FreeAlgebra1 classes let us deduce an adjunction.
    • Monadicity example
  • v0.0.2.0 Changes

    • Simplified Proof type.