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 or monads.

[Skip to ReadMe]


Dependenciesbase (>=4.9 && <5), constraints (>=0.8 && <0.11.0), 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.*), natural-numbers (==0.1.*), transformers (==0.5.*) [details]
Copyright(c) 2018 Marcin Szamotulski
AuthorMarcin Szamotulski
CategoryAlgebra, Control, Monads
Home page
Bug tracker
Source repositoryhead: git clone
UploadedSat Nov 3 16:38:48 UTC 2018 by coot




Maintainers' corner

For package maintainers and hackage trustees

Readme for free-algebras-

[back to package description]

Free Algebras

Maintainer: coot Travis Build Status

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 Haskell ideas can be found here.

For an example check out this.