name:                speculate
version:             0.2.0
synopsis:            discovery of properties about Haskell functions
description:
  Speculate automatically discovers laws about Haskell functions.
  Give Speculate a bunch of Haskell functions and it will discover laws like:
  .
  * equations, such as 'id x == x';
  .
  * inequalities, such as '0 <= x * x';
  .
  * conditional equations, such as 'x <= 0  ==>  x + abs x == 0'.

homepage:            https://github.com/rudymatela/speculate#readme
license:             BSD3
license-file:        LICENSE
author:              Rudy Matela,  Colin Runciman
maintainer:          Rudy Matela <rudy@matela.com.br>
category:            Testing
build-type:          Simple
cabal-version:       >=1.10

extra-doc-files: README.md
               , TODO.md
tested-with: GHC==8.0, GHC==7.10, GHC==7.8, GHC==7.6, GHC==7.4

source-repository head
  type:            git
  location:        https://github.com/rudymatela/speculate

source-repository this
  type:            git
  location:        https://github.com/rudymatela/speculate
  tag:             v0.2.0


library
  exposed-modules: Test.Speculate
                 , Test.Speculate.Args
                 , Test.Speculate.Report
                 , Test.Speculate.Engine
                 , Test.Speculate.Expr
                 , Test.Speculate.Expr.Canon
                 , Test.Speculate.Expr.Core
                 , Test.Speculate.Expr.Equate
                 , Test.Speculate.Expr.Ground
                 , Test.Speculate.Expr.Match
                 , Test.Speculate.Expr.TypeInfo
                 , Test.Speculate.Reason
                 , Test.Speculate.Reason.Order
                 , Test.Speculate.SemiReason
                 , Test.Speculate.CondReason
                 , Test.Speculate.Sanity
                 , Test.Speculate.Misc
  other-modules:   Test.Speculate.Utils
                 , Test.Speculate.Utils.Class
                 , Test.Speculate.Utils.Colour
                 , Test.Speculate.Utils.Digraph
                 , Test.Speculate.Utils.List
                 , Test.Speculate.Utils.Memoize
                 , Test.Speculate.Utils.Misc
                 , Test.Speculate.Utils.Ord
                 , Test.Speculate.Utils.PrettyPrint
                 , Test.Speculate.Utils.String
                 , Test.Speculate.Utils.Tiers
                 , Test.Speculate.Utils.Timeout
                 , Test.Speculate.Utils.Tuple
                 , Test.Speculate.Utils.Typeable
  build-depends: base >= 4 && < 5, leancheck >= 0.6.1, cmdargs, containers
  hs-source-dirs:    src
  default-language:  Haskell2010

test-suite expr
  type:                exitcode-stdio-1.0
  main-is:             test-expr.hs
  other-modules:       Test
  hs-source-dirs:      src, tests
  build-depends: base >= 4 && < 5, leancheck, cmdargs, containers
  default-language:    Haskell2010

benchmark plus-abs
  main-is:           plus-abs.hs
  build-depends: base >= 4 && < 5, leancheck, cmdargs, containers
  hs-source-dirs:    src, eg
  default-language:  Haskell2010
  type:              exitcode-stdio-1.0