-- 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