free

Version 3.3.0.2 revision 0 uploaded 2013-01-06T17:35:45.000Z by EdwardKmett.

Package meta

Synopsis

Monads for free

Description

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.

Author

Edward A. Kmett

Bug reports

http://github.com/ekmett/free/issues

Category

Control, Monads

Copyright

Copyright (C) 2008-2012 Edward A. Kmett

Homepage

http://github.com/ekmett/free/

Maintainer

Edward A. Kmett <ekmett@gmail.com>

Package URL

n/a

Stability

provisional

Components

• lib:free