-- Initial reduce-equations.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                reduce-equations
version:             0.1.1.0
synopsis:            Simplify a set of equations by removing redundancies
description:         Simplify a set of equations by removing redundancies
homepage:            http://chriswarbo.net/projects/repos/reduce-equations.html
license:             BSD3
license-file:        LICENSE
author:              Chris Warburton
maintainer:          chriswarbo@gmail.com
-- copyright:           
category:            Math
build-type:          Simple
extra-source-files:  README
                   , test.sh
                   , test/data/nat-simple-expect.json
                   , test/data/tip.json
                   , test/data/nat.json
                   , test/data/nat-simple-raw.json
                   , test/data/list-extras.json
cabal-version:       >=1.10

source-repository head
  type:     git
  location: http://chriswarbo.net/git/reduce-equations.git

library
  exposed-modules:     Algebra.Equation.Reduce
                     , Algebra.Equation.Internal
                     , Algebra.Equation.Internal.Eval
                     , Algebra.Equation.Internal.Types
  -- other-modules:       
  -- other-extensions:    
  build-depends:       base >= 4.8 && < 4.10
                     , aeson
                     , bytestring
                     , containers
                     , QuickCheck
                     , quickspec == 0.9.6
                     , transformers
                     , mtl
                     , haskell-src-exts >= 1.18.2
                     , stringable
                     , text
  hs-source-dirs:      src
  default-language:    Haskell2010

executable reduce-equations
  main-is:             Main.hs
  -- other-modules:       
  -- other-extensions:    
  build-depends:       base >= 4.8 && < 4.10
                     , reduce-equations
                     , aeson
  hs-source-dirs:      reduce-equations
  default-language:    Haskell2010

test-suite test
  default-language:    Haskell2010
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Main.hs
  build-depends:       base >= 4.8 && < 4.10
                     , reduce-equations
                     , quickspec == 0.9.6
                     , directory
                     , aeson
                     , bytestring
                     , haskell-src-exts >= 1.18.2
                     , MissingH
                     , stringable
                     , containers
                     , QuickCheck == 2.8.2
                     , text
                     , tasty >= 0.7
                     , tasty-quickcheck