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