The free package

[Tags: bsd3, library]

Free monads are useful for many tree-like structures and domain specific languages.

A Monad n is a free Monad for f if every Monad homomorphism from n to another monad m is equivalent to a natural transformation from f to m.

Cofree comonads provide convenient ways to talk about branching streams and rose-trees, and can be used to annotate syntax trees.

A Comonad v is a cofree Comonad for f if every Comonad homomorphism another comonad w to v is equivalent to a natural transformation from w to f.


Properties

Versions0.1.0, 0.1.1, 0.2.0, 0.2.1, 0.2.2, 0.2.3, 1.8.0, 1.8.0.1, 1.8.0.3, 1.8.0.4, 2.0, 2.0.1, 2.0.1.1, 2.0.2, 2.0.3, 2.1, 2.1.1, 2.1.1.1, 2.2, 3.0, 3.1, 3.1.1, 3.2, 3.3, 3.3.0.1, 3.3.0.2, 3.3.1, 3.4, 3.4.1, 3.4.2, 4.0, 4.1, 4.2, 4.4, 4.5, 4.6, 4.6.1, 4.7, 4.7.1, 4.8, 4.8.0.1, 4.9
Dependenciesbase (==4.*), bifunctors (==3.0.*), comonad (==3.0.*), comonad-transformers (==3.0.*), comonads-fd (==3.0.*), distributive (>=0.2.1 && <0.3), mtl (>=2.0.1.0 && <2.2), semigroupoids (==3.0.*), semigroups (>=0.8.3.1 && <0.9), transformers (>=0.2.0 && <0.4)
LicenseBSD3
CopyrightCopyright (C) 2008-2012 Edward A. Kmett
AuthorEdward A. Kmett
MaintainerEdward A. Kmett <ekmett@gmail.com>
Stabilityprovisional
CategoryControl, Monads
Home pagehttp://github.com/ekmett/free/
Bug trackerhttp://github.com/ekmett/free/issues
Source repositoryhead: git clone git://github.com/ekmett/free.git
Upload dateSat Dec 29 16:17:55 UTC 2012
Uploaded byEdwardKmett
DistributionsDebian:4.9, NixOS:4.9
Downloads59539 total (10270 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees