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.


[Skip to ReadMe]

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, 4.10.0.1, 4.11, 4.12, 4.12.1
Change logCHANGELOG.markdown
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) [details]
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
UploadedSun Mar 23 21:19:21 UTC 2014 by EdwardKmett
DistributionsDebian:4.12.1, FreeBSD:4.12.1, LTSHaskell:4.12.1, NixOS:4.12.1, Stackage:4.12.1
Downloads97878 total (1199 in last 30 days)
Votes
2 []
StatusDocs available [build log]
Successful builds reported [all 1 reports]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees

Readme for free-4.6

free

Build Status

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