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 (==4.*), comonad (==4.*), distributive (>=0.2.1), mtl (>=2.0.1.0 && <2.2), profunctors (==4.*), semigroupoids (==4.*), semigroups (>=0.8.3.1 && <1), template-haskell (>=2.7.0.0 && <3), transformers (>=0.2.0 && <0.4)
LicenseBSD3
CopyrightCopyright (C) 2008-2013 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 dateTue Feb 4 18:20:52 UTC 2014
Uploaded byEdwardKmett
DistributionsDebian:4.9, NixOS:4.9
Downloads73483 total (11084 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees