leancheck-0.9.6: leancheck.cabal
-- Cabal file for LeanCheck
--
-- Template Haskell dependency is optional. To deactivate it:
-- 1. In this file, comment out:
-- Test.LeanCheck.Derive
-- template-haskell
-- and the test-suite derive
-- 2. On Test.LeanCheck, comment out Test.LeanCheck.Derive and deriveListable
--
-- I could ultimately add a flag to deactivate that, but I do not want to make
-- this cabal file too complicated. -- Rudy
name: leancheck
version: 0.9.6
synopsis: Enumerative property-based testing
description:
LeanCheck is a simple enumerative property-based testing library.
.
Properties are defined as Haskell functions returning a boolean value which
should be true for all possible choices of argument values. LeanCheck
applies enumerated argument values to these properties in search for a
counterexample. Properties can be viewed as parameterized unit tests.
.
LeanCheck works by producing tiers of test values: a possibly infinite list
of finite sublists of same-and-increasingly-sized values.
.
LeanCheck has lean core with only 180 lines of Haskell code.
homepage: https://github.com/rudymatela/leancheck#readme
license: BSD3
license-file: LICENSE
author: Rudy Matela <rudy@matela.com.br>
maintainer: Rudy Matela <rudy@matela.com.br>
category: Testing
build-type: Simple
cabal-version: 1.18
extra-doc-files: README.md
, CREDITS.md
, TODO.md
, changelog.md
, doc/data-invariant.md
, doc/memory-usage.md
, doc/faq.md
, doc/tutorial.md
, doc/leancheck.svg
extra-source-files: .gitignore
, .github/workflows/build.yml
, Makefile
, bench/dets.hs
, bench/memory-usage.hs
, bench/pick.hs
, bench/tiers.hs
, bench/time-and-memory
, eg/higher-order.hs
, eg/overflow.hs
, eg/test-bool.hs
, eg/test-float.hs
, eg/test-list.hs
, eg/test-sort.hs
, etc/hugs-backports/Data/Function.hs
, mk/All.hs
, mk/Toplibs.hs
, mk/depend.mk
, mk/ghcdeps
, mk/haddock-i
, mk/haskell.mk
, mk/install-on
, stack.yaml
, test/diff/*.out
, test/diff/eg/*.out
, test/sdist
tested-with: GHC==8.10
, GHC==8.8
, GHC==8.6
, GHC==8.4
, GHC==8.2
, 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/leancheck
source-repository this
type: git
location: https://github.com/rudymatela/leancheck
tag: v0.9.6
library
exposed-modules: Test.LeanCheck
, Test.LeanCheck.Basic
, Test.LeanCheck.Core
, Test.LeanCheck.Derive
, Test.LeanCheck.Error
, Test.LeanCheck.Generic
, Test.LeanCheck.IO
, Test.LeanCheck.Tiers
, Test.LeanCheck.Utils
, Test.LeanCheck.Utils.Types
, Test.LeanCheck.Utils.TypeBinding
, Test.LeanCheck.Utils.Operators
, Test.LeanCheck.Stats
, Test.LeanCheck.Function
, Test.LeanCheck.Function.Eq
, Test.LeanCheck.Function.Ord
, Test.LeanCheck.Function.Show
, Test.LeanCheck.Function.Show.EightLines
, Test.LeanCheck.Function.Show.FourCases
, Test.LeanCheck.Function.List
, Test.LeanCheck.Function.Listable
, Test.LeanCheck.Function.Listable.ListsOfPairs
, Test.LeanCheck.Function.ListsOfPairs
, Test.LeanCheck.Function.ShowFunction
hs-source-dirs: src
build-depends: base >= 4 && < 5, template-haskell
if impl(ghc < 7.6)
build-depends: ghc-prim
default-language: Haskell2010
test-suite main
type: exitcode-stdio-1.0
main-is: main.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite types
type: exitcode-stdio-1.0
main-is: types.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite tiers
type: exitcode-stdio-1.0
main-is: tiers.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite operators
type: exitcode-stdio-1.0
main-is: operators.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite derive
type: exitcode-stdio-1.0
main-is: derive.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite error
type: exitcode-stdio-1.0
main-is: error.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite generic
type: exitcode-stdio-1.0
main-is: generic.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
if impl(ghc < 7.6)
build-depends: ghc-prim
default-language: Haskell2010
test-suite io
type: exitcode-stdio-1.0
main-is: io.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite fun
type: exitcode-stdio-1.0
main-is: fun.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite funshow
type: exitcode-stdio-1.0
main-is: funshow.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010
test-suite stats
type: exitcode-stdio-1.0
main-is: stats.hs
other-modules: Test
hs-source-dirs: test
build-depends: base >= 4 && < 5, leancheck
default-language: Haskell2010