Free Algebras v0.0.8.0 Release Notes

    • โž• 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)