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.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
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 && <5), 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> |
| 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-23T20:38:36Z |
| 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, 8011 indirect [details] |
| Downloads | 259315 total (510 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] |
Readme for free-3.4.1
[back to package description]free
This package provides a common definitions for working with free monads, free applicatives, and cofree comonads in Haskell.
Contact Information
Contributions and bug reports are welcome!
Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.
-Edward Kmett