The ixdopp package

[Tags: bsd3, program]

This preprocessor expands a Haskell program using ixdo notation into a Haskell program using the indexed monad bind operator (>>>=). It also serves as an example for the preprocessor-tools package.

While GHC 6.10 can now expand do-notation when (>>=) is rebound at a non-standard type, this makes it difficult to use do-notation for both monads and custom monad-like structures in the same compilation module. This preprocessor makes it easy to use do-like syntax for indexed monads while retaining do for monads.

If installed in ~.cabal, then ~.cabal/bin must be in the path for GHC to find it from a -pgmF flag.


Properties

Versions0.1, 0.1.1, 0.1.2, 0.1.3
Dependenciesbase (==4.*), preprocessor-tools (==0.*), syb (==0.*)
LicenseBSD3
Copyright2013, Jesse A. Tov
AuthorJesse A. Tov <tov@eecs.harvard.edu>
Maintainertov@eecs.harvard.edu
Stabilityexperimental
CategorySource-tools, Language
Home pagehttp://www.eecs.harvard.edu/~tov/pubs/haskell-session-types/
Executablesixdopp
Upload dateWed Jan 23 22:53:59 UTC 2013
Uploaded byJesseTov
DistributionsNixOS:0.1.3
Downloads259 total (26 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees