Name: ixdopp
Version: 0.1.2
Copyright: 2011, Jesse A. Tov
Cabal-Version: >= 1.2
License: BSD3
License-File: LICENSE
Stability: experimental
Author: Jesse A. Tov
Maintainer: tov@ccs.neu.edu
Homepage: http://www.ccs.neu.edu/~tov/session-types
Category: Source-tools, Language
Synopsis: A preprocessor for expanding "ixdo" notation for indexed monads
Build-type: Simple
Description:
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.
Executable ixdopp
Build-Depends: base >=4 && <5,
syb >= 0 && <1,
preprocessor-tools
Main-Is: Main.hs