MonadLab: Automatically generate layered monads

[ bsd3, library, monads, program ] [ Propose Tags ]

Modules

[Last Documentation]

  • MonadLab
    • MonadLab.CommonTypes
    • MonadLab.Cont
    • MonadLab.Declarations
    • MonadLab.Env
    • MonadLab.Error
    • MonadLab.Identity
    • MonadLab.Io
    • MonadLab.IoList
    • MonadLab.List
    • MonadLab.ListIo
    • MonadLab.MLabParser
    • MonadLab.MonadLab
    • MonadLab.Reduction
    • MonadLab.Run
    • MonadLab.State
    • MonadLab.TypeParser
    • MonadLab.Writer

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0, 0.0.1, 0.0.2
Dependencies base, haskell98, parsec, process, template-haskell [details]
License BSD-3-Clause
Author Pericles Kariotis
Maintainer Adam Procter <amp269@mizzou.edu>
Category Monads
Home page http://monadgarden.cs.missouri.edu/MonadLab
Uploaded by AdamProcter at 2008-10-16T18:45:31Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables mlab
Downloads 2975 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-02 [all 8 reports]

Readme for MonadLab-0.0

[back to package description]
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.

* ContT is currently broken due to a bug in Template Haskell's pretty-printer.