free-algebras: Free algebras in Haskell.

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.


Universal algebra approach to free algebras including higher kinded algebraic structures like functors, applicative functors, monads or categories .

[Skip to ReadMe]


Dependenciesbase (>=4.9 && <5), containers (>=0.4.2 && <0.7), data-fix (<0.3), dlist (==0.8.*), free (>=4.0 && <6.0), groups (>=0.3 && <0.5), kan-extensions (>=4.1 && <6.0), mtl (==2.2.*), transformers (==0.5.*) [details]
Copyright(c) 2018-2019 Marcin Szamotulski
AuthorMarcin Szamotulski
CategoryAlgebra, Control, Monads
Home page
Bug tracker
Source repositoryhead: git clone
UploadedSun Oct 6 21:28:29 UTC 2019 by coot




Maintainers' corner

For package maintainers and hackage trustees

Readme for free-algebras-

[back to package description]

Free Algebras

Maintainer: coot CircleCI

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.