name: speculate version: 0.4.18 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 category: Testing build-type: Simple cabal-version: 1.18 extra-doc-files: README.md , changelog.md , TODO.md , doc/speculate.svg extra-source-files: .gitignore , .github/workflows/build.yml , Makefile , bench/*.hs , bench/*.txt , bench/arith-c , bench/bool-c , bench/list-c , bench/minus-c , bench/arith-t , bench/list-t , bench/versions , bench/runtime/zero/bench/*.runtime , bench/runtime/zero/eg/*.runtime , bench/runtime/zero/versions , bench/runtime/lapmatrud/bench/*.runtime , bench/runtime/lapmatrud/eg/*.runtime , bench/runtime/lapmatrud/versions , bin/*.sh , eg/*.hs , eg/*.txt , mk/depend.mk , mk/ghcdeps , mk/haddock-i , mk/haskell.mk , mk/install-on , mk/Toplibs.hs , stack.yaml , test/sdist tested-with: GHC==9.8 , GHC==9.6 , GHC==9.4 , GHC==9.2 , GHC==9.0 , GHC==8.10 , GHC==8.6 , GHC==8.2 source-repository head type: git location: https://github.com/rudymatela/speculate source-repository this type: git location: https://github.com/rudymatela/speculate tag: v0.4.18 library exposed-modules: Test.Speculate , Test.Speculate.Args , Test.Speculate.Function.A10 , Test.Speculate.Function.A100 , Test.Speculate.Function.A1000 , Test.Speculate.Report , Test.Speculate.Engine , Test.Speculate.Expr , Test.Speculate.Expr.Core , Test.Speculate.Expr.Equate , Test.Speculate.Expr.Ground , Test.Speculate.Expr.Instance , Test.Speculate.Pretty , Test.Speculate.Reason , Test.Speculate.Reason.Order , Test.Speculate.SemiReason , Test.Speculate.CondReason , Test.Speculate.Sanity , Test.Speculate.Utils other-modules: 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 build-depends: base >= 4 && < 5 , leancheck >= 1.0.0 , express >= 1.0.0 , cmdargs , containers hs-source-dirs: src default-language: Haskell2010 test-suite creason main-is: creason.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite engine main-is: engine.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite eval main-is: eval.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite expr main-is: expr.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite order main-is: order.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite reason main-is: reason.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0 test-suite utils main-is: utils.hs other-modules: Test, Test.ListableExpr hs-source-dirs: test build-depends: base >= 4 && < 5, leancheck, express, speculate default-language: Haskell2010 type: exitcode-stdio-1.0