@hackage MonadLab0.0.1

Automatically generate layered monads

Building

Requires GHC 6.8.3.

$ ./Setup.hs configure $ ./Setup.hs build $ sudo ./Setup.hs install

Running

$ mlab [filename.mlab] -- generates "filename.hs"

Documentation

Better documentation is forthcoming. Have a look at our Haskell Symposium paper for more information: http://monadgarden.cs.missouri.edu/MonadLab . Some examples are available in the "examples" directory.

Known bugs

  • The parser will fail if a monad specification contains nested parentheses, e.g. EnvT([(String,Int)]). You can work around this by declaring a type synonym for the type of the environment/state/etc.