logicst-0.1.0.0: logicst.cabal
name: logicst
version: 0.1.0.0
synopsis: Backtracking mutable references in the ST and IO monads
description: Backtracking mutable references in the ST and IO monads
license: BSD3
license-file: LICENSE
author: Andy Sonnenburg
maintainer: Andy Sonnenburg <andy22286@gmail.com>
homepage: http://github.com/sonyandy/logicst
bug-reports: http://github.com/sonyandy/logicst/issues
copyright: Copyright (C) 2013 Andy Sonnenburg
category: Control
build-type: Simple
cabal-version: >= 1.6
source-repository head
type: git
location: git://github.com/sonyandy/logicst.git
flag safe-st
flag old-applicative
library
hs-source-dirs: src
exposed-modules:
Control.Monad.IO.Logic
Control.Monad.ST.Logic
Control.Monad.ST.Logic.Internal
Data.IORef.Logic
Data.STRef.Logic
if flag(safe-st)
build-depends: base >= 4.4
cpp-options: -DMODULE_Control_Monad_ST_Safe
if flag(old-applicative)
build-depends: base < 4.2
cpp-options: -DCLASS_OldApplicative
build-depends: base >= 4 && < 5, transformers, logict
other-extensions: CPP, Rank2Types, TypeFamilies
ghc-options: -Wall -fwarn-tabs -O2