free: Monads for free
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
.
[Skip to Readme]
Downloads
- free-3.4.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.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, 4.10.0.1, 4.11, 4.12, 4.12.1, 4.12.2, 4.12.3, 4.12.4, 5, 5.0.1, 5.0.2, 5.1, 5.1.1, 5.1.2, 5.1.3, 5.1.4, 5.1.5, 5.1.6, 5.1.7, 5.1.8, 5.1.9, 5.1.10, 5.2 (info) |
---|---|
Change log | CHANGELOG.markdown |
Dependencies | base (>=4 && <4.7), bifunctors (>=3), comonad (>=3), comonad-transformers (>=3), comonads-fd (>=3), distributive (>=0.2.1), mtl (>=2.0.1.0 && <2.2), semigroupoids (>=3), semigroups (>=0.8.3.1), transformers (>=0.2.0 && <0.4) [details] |
License | BSD-3-Clause |
Copyright | Copyright (C) 2008-2012 Edward A. Kmett |
Author | Edward A. Kmett |
Maintainer | Edward A. Kmett <ekmett@gmail.com> |
Revised | Revision 1 made by AdamBergmark at 2015-05-12T18:15:16Z |
Category | Control, Monads |
Home page | http://github.com/ekmett/free/ |
Bug tracker | http://github.com/ekmett/free/issues |
Source repo | head: git clone git://github.com/ekmett/free.git |
Uploaded | by EdwardKmett at 2013-03-13T08:41:37Z |
Distributions | Arch:5.1.10, Debian:5.1.3, Fedora:5.1.10, FreeBSD:4.12.1, LTSHaskell:5.2, NixOS:5.2, Stackage:5.2, openSUSE:5.2 |
Reverse Dependencies | 204 direct, 8092 indirect [details] |
Downloads | 261261 total (591 in the last 30 days) |
Rating | 2.5 (votes: 5) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |