Changelog for free-algebras-0.0.8.2
Changelog for free-algebras
Version 0.0.8.0
- 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)
Version 0.0.7.2
- Enhanced documentation, and properly attributed fix in ChangeLog.
Version 0.0.7.1
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)
Version 0.0.7.0
- Poly kinded
Control.Algebra.Free.FreeAlgebra
and
Control.Algebra.Free2.FreeAlgebra2
- removed actions (MSet, SSet), use
monoid-extras
or semigroups-actions
packages
Version 0.0.6.0
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.
Version 0.0.5.1
Version 0.0.5.0
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
Version 0.0.4.0
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.
Version 0.0.3.0
- Breaking change: changed proofs in FreeAlgebra and FreeAlgebra1 class; now
using
FreeAlgebra
and FreeAlgebra1
classes let us deduce an adjunction.
- Monadicity example
Version 0.0.2.0