The ixdopp package
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
| Versions | 0.1, 0.1.1, 0.1.2, 0.1.3 |
|---|---|
| Dependencies | base (4.*), preprocessor-tools (0.*), syb (0.*) |
| License | BSD3 |
| Copyright | 2013, Jesse A. Tov |
| Author | Jesse A. Tov <tov@eecs.harvard.edu> |
| Maintainer | tov@eecs.harvard.edu |
| Stability | experimental |
| Category | Source-tools, Language |
| Home page | http://www.eecs.harvard.edu/~tov/pubs/haskell-session-types/ |
| Executables | ixdopp |
| Upload date | Wed Jan 23 22:53:59 UTC 2013 |
| Uploaded by | JesseTov |
Downloads
- ixdopp-0.1.3.tar.gz (Cabal source package)
- package description (included in the package)