-- Copyright 2013 Kevin Backhouse.

name:                Control-Monad-ST2
version:             0.1.0.1
synopsis:            A variation on the ST monad with two type parameters.
description:         The ST2 monad is like the ST monad, but with
                     finer-grained control over access to mutable
                     state. The phantom type parameters r and w are
                     used to track the read and write dependencies of
                     the computation. If a computation of type ST2 r w a
                     is polymorphic in w then it does not write any
                     external state. If it is also polymorphic in r
                     then it does not read any external state.

homepage:            https://github.com/kevinbackhouse/Control-Monad-ST2
license:             BSD3
license-file:        LICENSE
author:              Kevin Backhouse
maintainer:          Kevin.Backhouse@gmail.com
copyright:           Kevin Backhouse, 2013
category:            Control
build-type:          Simple
cabal-version:       >=1.8
Extra-source-files:  README.txt
tested-with:         GHC==7.6.2

source-repository this
  type:      git
  location:  https://github.com/kevinbackhouse/Control-Monad-ST2.git
  tag:       Version-0.1.0.1

library
  exposed-modules:   Control.Monad.ST2
  hs-source-dirs:    src
  build-depends:     base >= 4.5 && < 5,
                     array, SafeSemaphore, QuickCheck
  ghc-options:       -Wall
  extensions:        Safe RankNTypes ExistentialQuantification
                     DeriveFunctor

test-suite Main
  type:              exitcode-stdio-1.0
  x-uses-tf:         true
  build-depends:     base >= 4.5 && < 5,
                     array, SafeSemaphore, QuickCheck,
                     mtl,
                     test-framework,
                     test-framework-quickcheck2,
                     test-framework-hunit
  ghc-options:       -Wall
  extensions:        RankNTypes ExistentialQuantification
                     DeriveFunctor
  hs-source-dirs:    src, src/Control, src/Control/Monad, tests
  main-is:           Main.hs