Name:           ixdopp
Version:        0.1.3
Copyright:      2013, Jesse A. Tov
Cabal-Version:  >= 1.2
License:        BSD3
License-File:   LICENSE
Stability:      experimental
Author:         Jesse A. Tov <tov@eecs.harvard.edu>
Maintainer:     tov@eecs.harvard.edu
Homepage:       http://www.eecs.harvard.edu/~tov/pubs/haskell-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 >=0 && <1

  Main-Is:              Main.hs