Free Algebras changelog

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 (https://github.com/mstsg)

• 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.