Free Algebras v0.0.8.0 Release Notes
-
- โ Added two properties for each:
foldMapFree
,foldNatFree
andfoldNatFree2
. - โ Added default implementations of
codom
/forget
,codom1
/forget
andcodom2
/forget2
, what simplifies writting instances. - ๐ Changed internal representation of FreeAbelianSemigroup: use Natural
- โ removed
natural-number
dependency and useNumeric.Natural.Natural
instead. - Applicative instance for
FreeMAction
. - โ Added
Free1
type. - โ Removed
constraints
dependency. - ๐ Renamed
Data.Semigroup.SemiLattice
toData.Semigroup.Semilattice
, alsoFreeSemiLattice
renamed toFreeSemilattice
. - various optimisation (rewrite rules & inline pragmas)
- โ Added two properties for each: