free-algebras: Free algebras

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Algebraic approach to free algebras, inspired by Univeral Algebra and Category Theory, including higher kinded algebraic structures like functors, applicative functors, monads or categories.

[Skip to Readme]

Properties

Versions	0.0.1.0, 0.0.2.0, 0.0.3.0, 0.0.4.0, 0.0.5.0, 0.0.5.1, 0.0.6.0, 0.0.7.0, 0.0.7.1, 0.0.7.2, 0.0.8.0, 0.0.8.1, 0.0.8.2, 0.0.8.2, 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.1.0, 0.1.2.0
Change log	ChangeLog.md
Dependencies	base (>=4.9 && <5), containers (>=0.4.2 && <0.7), data-fix (<0.3), dlist (>=0.8 && <0.9), free (>=4.0 && <6.0), groups (>=0.3 && <0.5), kan-extensions (>=4.1 && <6.0), mtl (>=2.2 && <2.3), transformers (>=0.5 && <0.6) [details]
License	MPL-2.0
Copyright	(c) 2018-2020 Marcin Szamotulski
Author	Marcin Szamotulski
Maintainer	profunctor@pm.me
Category	Algebra, Control, Monads
Home page	https://github.com/coot/free-algebras#readme
Bug tracker	https://github.com/coot/free-algebras/issues
Source repo	head: git clone https://github.com/coot/free-algebras
Uploaded	by coot at 2020-07-21T18:32:33Z

Modules

[Index] [Quick Jump]

Control
- Algebra
  - Control.Algebra.Free
  - Control.Algebra.Free2
- Monad
  - Control.Monad.Action
Data
- Algebra
  - Data.Algebra.Free
  - Data.Algebra.Pointed
- Group
  - Data.Group.Free
- Monoid
  - Data.Monoid.Abelian
- Semigroup
  - Data.Semigroup.Abelian
  - Data.Semigroup.Semilattice

Downloads

free-algebras-0.0.8.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

coot

For package maintainers and hackage trustees

edit package information

Readme for free-algebras-0.0.8.2

[back to package description]

Free Algebras

Universal algebra approach (which is compatible with categorical approach) to free algebras (including higher order structures like functors, applicative functors or monads). Mathematical introduction alongside with some of the Haskell ideas is exposed in this blog post.