@hackage rmonad0.1

Restricted monad library

Categories
License
BSD-3-Clause
Maintainer
Ganesh Sittampalam <ganesh@earth.li>
Links
- Documentation
- No source repository
- Security
Versions
- 0.8.0.2 Mon, 23 Dec 2013
- 0.8.0.1 Tue, 3 Dec 2013
- 0.8 Fri, 14 Sep 2012
- 0.7 Tue, 15 Mar 2011
- 0.6 Mon, 20 Sep 2010
- 0.5 Sun, 21 Mar 2010

Installation
In your cabal file:
Dependencies (2)
- base
- containers
Dependents (1)
@hackage/acme-everything

rmonad provides a restricted monad class in the Control.RMonad hierarchy. The class makes use of associated datatypes (available in GHC 6.8), using an idea learnt from Wolfgang Jeltsch: http://www.haskell.org/pipermail/haskell-cafe/2008-March/041084.html

It also provides a way to treat a restricted monad as a normal monad using a generic wrapper type. This idea is described here: http://hsenag.livejournal.com/11803.html?nc=5

See the haddock documentation for information on how to use it.

TODO

Add instances for all the mtl stuff. Consider also doing this for mtl-tf (namespacing issues?)