commit ghc-smallcheck for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-smallcheck for openSUSE:Factory
checked in at 2020-09-07 21:22:41
Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old)
and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new.3399 (New)
Package is "ghc-smallcheck"
Mon Sep 7 21:22:41 2020 rev:7 rq:831226 version:1.2.0
Changes:
--- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes
2019-12-27 13:57:31.644778879 +0100
+++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new.3399/ghc-smallcheck.changes
2020-09-07 21:22:44.289033139 +0200
@@ -1,0 +2,29 @@
+Tue Sep 1 14:41:30 UTC 2020 - psim...@suse.com
+
+- Update smallcheck to version 1.2.0.
+ Version 1.2.0
+ -
+
+ * Add `Serial` and `CoSerial` instances for
+`()`, `(,)`,
+`Compose`,
+`Foreign.C.Types`,
+`Data.List.NonEmpty`,
+`Void`,
+`Complex`.
+ * Add `Bounded`, `Functor`, `Foldable` and `Traversable` instances
+for `Positive` and `NonNegative` wrappers.
+ * Add `NonZero` wrapper for non-zero integers.
+ * Add `cons5`, `cons6`, `alts5`, `alts6`.
+
+ Version 1.1.7
+ -
+
+ * Fix overlapping instances of `GSerial`.
+
+ Version 1.1.6
+ -
+
+ * Mark modules as `Safe`, not just `Trustworthy`.
+
+---
Old:
smallcheck-1.1.5.tar.gz
New:
smallcheck-1.2.0.tar.gz
Other differences:
--
++ ghc-smallcheck.spec ++
--- /var/tmp/diff_new_pack.wE6lPI/_old 2020-09-07 21:22:45.457033675 +0200
+++ /var/tmp/diff_new_pack.wE6lPI/_new 2020-09-07 21:22:45.461033677 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ghc-smallcheck
#
-# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2020 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,7 +18,7 @@
%global pkg_name smallcheck
Name: ghc-%{pkg_name}
-Version:1.1.5
+Version:1.2.0
Release:0
Summary:A property-based testing library
License:BSD-3-Clause
@@ -46,7 +46,7 @@
This package provides the Haskell %{pkg_name} library development files.
%prep
-%setup -q -n %{pkg_name}-%{version}
+%autosetup -n %{pkg_name}-%{version}
%build
%ghc_lib_build
++ smallcheck-1.1.5.tar.gz -> smallcheck-1.2.0.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.5/CHANGELOG.md
new/smallcheck-1.2.0/CHANGELOG.md
--- old/smallcheck-1.1.5/CHANGELOG.md 2018-07-05 10:17:01.0 +0200
+++ new/smallcheck-1.2.0/CHANGELOG.md 2020-06-15 00:31:09.0 +0200
@@ -1,6 +1,31 @@
Changes
===
+Version 1.2.0
+-
+
+* Add `Serial` and `CoSerial` instances for
+ `()`, `(,)`,
+ `Compose`,
+ `Foreign.C.Types`,
+ `Data.List.NonEmpty`,
+ `Void`,
+ `Complex`.
+* Add `Bounded`, `Functor`, `Foldable` and `Traversable` instances
+ for `Positive` and `NonNegative` wrappers.
+* Add `NonZero` wrapper for non-zero integers.
+* Add `cons5`, `cons6`, `alts5`, `alts6`.
+
+Version 1.1.7
+-
+
+* Fix overlapping instances of `GSerial`.
+
+Version 1.1.6
+-
+
+* Mark modules as `Safe`, not just `Trustworthy`.
+
Version 1.1.5
-
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.5/README.md
new/smallcheck-1.2.0/README.md
--- old/smallcheck-1.1.5/README.md 2017-08-08 18:25:03.0 +0200
+++ new/smallcheck-1.2.0/README.md 2020-06-10 23:35:08.0 +0200
@@ -14,25 +14,17 @@
* Read the [documentation][haddock]
* If you have experience with QuickCheck, [read the comparison of QuickCheck
and SmallCheck][comparison]
-* Install it and give it a try!
+* Install it and give it a try!
`cabal update; cabal install smallcheck`
* Read the [paper][paper] or [other materials][oldpage] from the original
authors of SmallCheck (note that that information might be somewhat outdated)
* If you see something that can be improved, please [submit an issue][issues]
* Check out [the source code][github] at GitHub
-[haddock]:
http://hackage.haskell.org/packages/archive/smallcheck/latest/doc/html/Test-SmallCheck.html
+[haddock]:
http://hackage.haskell.org/package/smallcheck/docs/Test-SmallCheck.html
[hackage]: http://hackage.haskell.org/package/smallcheck
[paper]: http://www.cs.york.ac.uk/fp/smallcheck/smallcheck.pdf
[oldpage]: http://www.cs.york.ac.uk/fp/smallcheck/
-[comparison]:
https://github.com/feuerbach/smallcheck/wiki/Comparison-with-QuickCheck
-[github]: https://github.com/feuerbach/smallcheck
-[issues]: htt
commit ghc-smallcheck for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-smallcheck for openSUSE:Factory
checked in at 2019-12-27 13:57:28
Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old)
and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new.6675 (New)
Package is "ghc-smallcheck"
Fri Dec 27 13:57:28 2019 rev:6 rq:759511 version:1.1.5
Changes:
--- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes
2018-10-25 09:04:54.214557432 +0200
+++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new.6675/ghc-smallcheck.changes
2019-12-27 13:57:31.644778879 +0100
@@ -1,0 +2,5 @@
+Fri Nov 8 16:14:47 UTC 2019 - Peter Simons
+
+- Drop obsolete group attributes.
+
+---
Other differences:
--
++ ghc-smallcheck.spec ++
--- /var/tmp/diff_new_pack.r1jUa3/_old 2019-12-27 13:57:32.052779076 +0100
+++ /var/tmp/diff_new_pack.r1jUa3/_new 2019-12-27 13:57:32.056779078 +0100
@@ -1,7 +1,7 @@
#
# spec file for package ghc-smallcheck
#
-# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2019 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -22,7 +22,6 @@
Release:0
Summary:A property-based testing library
License:BSD-3-Clause
-Group: Development/Libraries/Haskell
URL:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
BuildRequires: ghc-Cabal-devel
@@ -38,7 +37,6 @@
%package devel
Summary:Haskell %{pkg_name} library development files
-Group: Development/Libraries/Haskell
Requires: %{name} = %{version}-%{release}
Requires: ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
commit ghc-smallcheck for openSUSE:Factory
Hello community, here is the log from the commit of package ghc-smallcheck for openSUSE:Factory checked in at 2018-10-25 09:04:52 Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old) and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new (New) Package is "ghc-smallcheck" Thu Oct 25 09:04:52 2018 rev:5 rq:643458 version:1.1.5 Changes: --- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes 2018-07-24 17:22:00.091270499 +0200 +++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new/ghc-smallcheck.changes 2018-10-25 09:04:54.214557432 +0200 @@ -1,0 +2,5 @@ +Sat Oct 20 11:32:00 UTC 2018 - Peter Simons + +- Use https URL to refer to bugs.opensuse.org. + +--- Other differences: -- ++ ghc-smallcheck.spec ++ --- /var/tmp/diff_new_pack.ZxsAq7/_old 2018-10-25 09:04:54.790557079 +0200 +++ /var/tmp/diff_new_pack.ZxsAq7/_new 2018-10-25 09:04:54.794557077 +0200 @@ -12,7 +12,7 @@ # license that conforms to the Open Source Definition (Version 1.9) # published by the Open Source Initiative. -# Please submit bugfixes or comments via http://bugs.opensuse.org/ +# Please submit bugfixes or comments via https://bugs.opensuse.org/ #
commit ghc-smallcheck for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-smallcheck for openSUSE:Factory
checked in at 2018-07-24 17:21:58
Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old)
and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new (New)
Package is "ghc-smallcheck"
Tue Jul 24 17:21:58 2018 rev:4 rq:623856 version:1.1.5
Changes:
--- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes
2018-05-30 12:27:15.586375495 +0200
+++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new/ghc-smallcheck.changes
2018-07-24 17:22:00.091270499 +0200
@@ -1,0 +2,19 @@
+Wed Jul 18 14:26:41 UTC 2018 - psim...@suse.com
+
+- Cosmetic: replace tabs with blanks, strip trailing white space,
+ and update copyright headers with spec-cleaner.
+
+---
+Fri Jul 13 14:31:42 UTC 2018 - psim...@suse.com
+
+- Update smallcheck to version 1.1.5.
+ Version 1.1.5
+ -
+
+ * Add `limit :: Monad m => Int -> Series m a -> Series m a`
+ * Add `genericSeries` and `genericCoseries`, so that you can use the generic
+implementations more flexibly. Previously, the generic implementation was
+only avaialable as the default method for `series`/`coseries` but not as
+standalone functions.
+
+---
@@ -20 +38,0 @@
-
Old:
smallcheck-1.1.4.tar.gz
New:
smallcheck-1.1.5.tar.gz
Other differences:
--
++ ghc-smallcheck.spec ++
--- /var/tmp/diff_new_pack.CfoQrG/_old 2018-07-24 17:22:00.819271430 +0200
+++ /var/tmp/diff_new_pack.CfoQrG/_new 2018-07-24 17:22:00.823271435 +0200
@@ -18,7 +18,7 @@
%global pkg_name smallcheck
Name: ghc-%{pkg_name}
-Version:1.1.4
+Version:1.1.5
Release:0
Summary:A property-based testing library
License:BSD-3-Clause
++ smallcheck-1.1.4.tar.gz -> smallcheck-1.1.5.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.4/CHANGELOG.md
new/smallcheck-1.1.5/CHANGELOG.md
--- old/smallcheck-1.1.4/CHANGELOG.md 2018-05-12 16:05:11.0 +0200
+++ new/smallcheck-1.1.5/CHANGELOG.md 2018-07-05 10:17:01.0 +0200
@@ -1,6 +1,15 @@
Changes
===
+Version 1.1.5
+-
+
+* Add `limit :: Monad m => Int -> Series m a -> Series m a`
+* Add `genericSeries` and `genericCoseries`, so that you can use the generic
+ implementations more flexibly. Previously, the generic implementation was
+ only avaialable as the default method for `series`/`coseries` but not as
+ standalone functions.
+
Version 1.1.4
-
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.4/Test/SmallCheck/Series.hs
new/smallcheck-1.1.5/Test/SmallCheck/Series.hs
--- old/smallcheck-1.1.4/Test/SmallCheck/Series.hs 2018-05-12
15:59:45.0 +0200
+++ new/smallcheck-1.1.5/Test/SmallCheck/Series.hs 2018-06-04
16:34:44.0 +0200
@@ -24,7 +24,7 @@
{-# LANGUAGE CPP, RankNTypes, MultiParamTypeClasses, FlexibleInstances,
- GeneralizedNewtypeDeriving, FlexibleContexts #-}
+ GeneralizedNewtypeDeriving, FlexibleContexts, ScopedTypeVariables
#-}
-- The following is needed for generic instances
{-# LANGUAGE DefaultSignatures, FlexibleContexts, TypeOperators,
TypeSynonymInstances, FlexibleInstances, OverlappingInstances #-}
@@ -165,6 +165,10 @@
-- * Basic definitions
Depth, Series, Serial(..), CoSerial(..),
+ -- * Generic implementations
+ genericSeries,
+ genericCoseries,
+
-- * Convenient wrappers
Positive(..), NonNegative(..), NonEmpty(..),
@@ -174,6 +178,7 @@
decDepth,
getDepth,
generate,
+ limit,
listSeries,
list,
listM,
@@ -204,7 +209,12 @@
series :: Series m a
default series :: (Generic a, GSerial m (Rep a)) => Series m a
- series = to <$> gSeries
+ series = genericSeries
+
+genericSeries
+ :: (Monad m, Generic a, GSerial m (Rep a))
+ => Series m a
+genericSeries = to <$> gSeries
class Monad m => CoSerial m a where
-- | A proper 'coseries' implementation should pass the depth unchanged to
@@ -213,8 +223,12 @@
coseries :: Series m b -> Series m (a->b)
default coseries :: (Generic a, GCoSerial m (Rep a)) => Series m b -> Series
m (a->b)
- coseries rs = (. from) <$> gCoseries rs
+ coseries = genericCoseries
+genericCoseries
+ :: (Monad m, Generic a, GCoSerial m (Rep a))
+ => Series m b -> Series m (a->b)
+genericCoseries rs = (. from) <$> gCoseries rs
-- }}}
--
@@ -229,6 +243,18 @@
d <-
commit ghc-smallcheck for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-smallcheck for openSUSE:Factory
checked in at 2018-05-30 12:13:44
Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old)
and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new (New)
Package is "ghc-smallcheck"
Wed May 30 12:13:44 2018 rev:3 rq:607886 version:1.1.4
Changes:
--- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes
2017-05-27 13:15:38.898549725 +0200
+++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new/ghc-smallcheck.changes
2018-05-30 12:27:15.586375495 +0200
@@ -1,0 +2,10 @@
+Mon May 14 17:02:11 UTC 2018 - psim...@suse.com
+
+- Update smallcheck to version 1.1.4.
+ * Add instances for fixed-width Int and Word types (Int8, Word8 etc.)
+ * Fix compatibility with GHC 7.8 and older
+ * Add `Serial` and `CoSerial` instances for `Word` and `Natural`
+ * Export the `test` function
+ * Add a `listSeries` function
+
+---
Old:
smallcheck-1.1.1.tar.gz
smallcheck.cabal
New:
smallcheck-1.1.4.tar.gz
Other differences:
--
++ ghc-smallcheck.spec ++
--- /var/tmp/diff_new_pack.USWKnS/_old 2018-05-30 12:27:16.298350815 +0200
+++ /var/tmp/diff_new_pack.USWKnS/_new 2018-05-30 12:27:16.302350676 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ghc-smallcheck
#
-# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2018 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -18,20 +18,18 @@
%global pkg_name smallcheck
Name: ghc-%{pkg_name}
-Version:1.1.1
+Version:1.1.4
Release:0
Summary:A property-based testing library
License:BSD-3-Clause
-Group: Development/Languages/Other
-Url:https://hackage.haskell.org/package/%{pkg_name}
+Group: Development/Libraries/Haskell
+URL:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
-Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-logict-devel
BuildRequires: ghc-mtl-devel
BuildRequires: ghc-pretty-devel
BuildRequires: ghc-rpm-macros
-BuildRoot: %{_tmppath}/%{name}-%{version}-build
%description
SmallCheck is a testing library that allows to verify properties for all test
@@ -40,7 +38,7 @@
%package devel
Summary:Haskell %{pkg_name} library development files
-Group: Development/Libraries/Other
+Group: Development/Libraries/Haskell
Requires: %{name} = %{version}-%{release}
Requires: ghc-compiler = %{ghc_version}
Requires(post): ghc-compiler = %{ghc_version}
@@ -51,7 +49,6 @@
%prep
%setup -q -n %{pkg_name}-%{version}
-cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build
@@ -66,11 +63,9 @@
%ghc_pkg_recache
%files -f %{name}.files
-%defattr(-,root,root,-)
-%doc LICENSE
+%license LICENSE
%files devel -f %{name}-devel.files
-%defattr(-,root,root,-)
%doc CHANGELOG.md README.md
%changelog
++ smallcheck-1.1.1.tar.gz -> smallcheck-1.1.4.tar.gz ++
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.1/CHANGELOG.md
new/smallcheck-1.1.4/CHANGELOG.md
--- old/smallcheck-1.1.1/CHANGELOG.md 2013-12-16 18:06:49.0 +0100
+++ new/smallcheck-1.1.4/CHANGELOG.md 2018-05-12 16:05:11.0 +0200
@@ -1,6 +1,27 @@
Changes
===
+Version 1.1.4
+-
+
+* Add instances for fixed-width Int and Word types (Int8, Word8 etc.)
+
+Version 1.1.3.1
+---
+
+* Fix compatibility with GHC 7.8 and older
+
+Version 1.1.3
+-
+
+* Add `Serial` and `CoSerial` instances for `Word` and `Natural`
+
+Version 1.1.2
+-
+
+* Export the `test` function
+* Add a `listSeries` function
+
Version 1.1.1
-
diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn'
'--exclude=.svnignore' old/smallcheck-1.1.1/README.md
new/smallcheck-1.1.4/README.md
--- old/smallcheck-1.1.1/README.md 2013-12-16 18:06:49.0 +0100
+++ new/smallcheck-1.1.4/README.md 2017-08-08 18:25:03.0 +0200
@@ -28,3 +28,11 @@
[comparison]:
https://github.com/feuerbach/smallcheck/wiki/Comparison-with-QuickCheck
[github]: https://github.com/feuerbach/smallcheck
[issues]: https://github.com/feuerbach/smallcheck/issues
+
+Maintainers
+---
+
+[Roman Cheplyaka](https://github.com/feuerbach) is the primary
commit ghc-smallcheck for openSUSE:Factory
Hello community,
here is the log from the commit of package ghc-smallcheck for openSUSE:Factory
checked in at 2017-05-27 13:15:35
Comparing /work/SRC/openSUSE:Factory/ghc-smallcheck (Old)
and /work/SRC/openSUSE:Factory/.ghc-smallcheck.new (New)
Package is "ghc-smallcheck"
Sat May 27 13:15:35 2017 rev:2 rq:495469 version:1.1.1
Changes:
--- /work/SRC/openSUSE:Factory/ghc-smallcheck/ghc-smallcheck.changes
2016-12-12 12:46:03.975598642 +0100
+++ /work/SRC/openSUSE:Factory/.ghc-smallcheck.new/ghc-smallcheck.changes
2017-05-27 13:15:38.898549725 +0200
@@ -1,0 +2,5 @@
+Mon May 8 19:24:04 UTC 2017 - psim...@suse.com
+
+- Clean up spec file. Only cosmetic; no functional change.
+
+---
Old:
1.cabal
New:
smallcheck.cabal
Other differences:
--
++ ghc-smallcheck.spec ++
--- /var/tmp/diff_new_pack.AxMWGo/_old 2017-05-27 13:15:39.742430420 +0200
+++ /var/tmp/diff_new_pack.AxMWGo/_new 2017-05-27 13:15:39.746429854 +0200
@@ -1,7 +1,7 @@
#
# spec file for package ghc-smallcheck
#
-# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany.
+# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
@@ -22,18 +22,16 @@
Release:0
Summary:A property-based testing library
License:BSD-3-Clause
-Group: System/Libraries
+Group: Development/Languages/Other
Url:https://hackage.haskell.org/package/%{pkg_name}
Source0:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
-Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal
+Source1:
https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel
-# Begin cabal-rpm deps:
BuildRequires: ghc-logict-devel
BuildRequires: ghc-mtl-devel
BuildRequires: ghc-pretty-devel
BuildRequires: ghc-rpm-macros
BuildRoot: %{_tmppath}/%{name}-%{version}-build
-# End cabal-rpm deps
%description
SmallCheck is a testing library that allows to verify properties for all test
@@ -55,15 +53,12 @@
%setup -q -n %{pkg_name}-%{version}
cp -p %{SOURCE1} %{pkg_name}.cabal
-
%build
%ghc_lib_build
-
%install
%ghc_lib_install
-
%post devel
%ghc_pkg_recache
++ smallcheck.cabal ++
Name: smallcheck
Version: 1.1.1
x-revision: 1
Cabal-Version: >= 1.6
License: BSD3
License-File: LICENSE
Author:Colin Runciman, Roman Cheplyaka
Maintainer:Roman Cheplyaka
Homepage: https://github.com/feuerbach/smallcheck
Bug-reports: https://github.com/feuerbach/smallcheck/issues
Stability: Beta
Category: Testing
Synopsis: A property-based testing library
Description: SmallCheck is a testing library that allows to verify properties
for all test cases up to some depth. The test cases are generated
automatically by SmallCheck.
Build-Type:Simple
Extra-source-files: README.md, CREDITS.md, CHANGELOG.md
Source-repository head
type: git
location: git://github.com/feuerbach/smallcheck.git
Library
Build-Depends: base >= 4.5 && < 5, mtl, logict, ghc-prim >= 0.2, pretty
Exposed-modules:
Test.SmallCheck
Test.SmallCheck.Drivers
Test.SmallCheck.Series
Other-modules:
Test.SmallCheck.Property
Test.SmallCheck.SeriesMonad
Test.SmallCheck.Property.Result
