The latest version of free is 5.2-5.
free
Version 3.1.1 revision 0 uploaded 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 forf
if every Monad homomorphism fromn
to another monadm
is equivalent to a natural transformation fromf
tom
.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 forf
if every Comonad homomorphism another comonadw
tov
is equivalent to a natural transformation fromw
tof
.- 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