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
.
Versions [faq] | 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 (info) |
---|---|
Dependencies | base (>=4 && <4.7), 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) [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:13:55Z |
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 2012-08-15T00:31:28Z |
Distributions | Arch:5.1.6, Debian:5.0.2, Fedora:5.1.3, FreeBSD:4.12.1, LTSHaskell:5.1.1, NixOS:5.1.6, Stackage:5.1.1, openSUSE:5.1.3 |
Downloads | 216163 total (2264 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] |
Modules
[Index]
Downloads
- free-3.1.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'.