The MonadLab package

[Tags:bsd3, library, program]

[Skip to Readme]

Properties

Versions 0.0, 0.0.1, 0.0.2
Dependencies base, haskell98, parsec, process, template-haskell [details]
License BSD3
Author Pericles Kariotis
Maintainer Adam Procter <amp269@mizzou.edu>
Stability experimental
Category Monads
Home page http://monadgarden.cs.missouri.edu/MonadLab
Uploaded Thu Oct 16 18:45:31 UTC 2008 by AdamProcter
Distributions NixOS:0.0.2
Downloads 851 total (13 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-12-08 [all 6 reports]

Modules

  • 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

For package maintainers and hackage trustees

Readme for MonadLab

Readme for MonadLab-0.0

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.