summaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/haskell-check.scm46
1 files changed, 46 insertions, 0 deletions
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm
index e647d65a89..62433cdb15 100644
--- a/gnu/packages/haskell-check.scm
+++ b/gnu/packages/haskell-check.scm
@@ -13,6 +13,7 @@
;;; Copyright © 2019 Timothy Sample <samplet@ngyro.com>
;;; Copyright © 2020 John Soo <jsoo1@asu.edu>
;;; Copyright © 2020 Carlo Holl <carloholl@gmail.com>
+;;; Copyright © 2021 John Kehayias <john.kehayias@protonmail.com>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -32,6 +33,7 @@
(define-module (gnu packages haskell-check)
#:use-module (gnu packages)
#:use-module (gnu packages haskell-crypto)
+ #:use-module (gnu packages haskell-web)
#:use-module (gnu packages haskell-xyz)
#:use-module (guix build-system haskell)
#:use-module (guix download)
@@ -1056,6 +1058,50 @@ See the documentation in \"Test.Inspection\" or the project webpage for more
examples and more information.")
(license license:expat)))
+(define-public ghc-quickcheck-classes
+ (package
+ (name "ghc-quickcheck-classes")
+ (version "0.6.5.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (string-append
+ "https://hackage.haskell.org/package/quickcheck-classes/quickcheck-classes-"
+ version
+ ".tar.gz"))
+ (sha256
+ (base32 "19iw15mvb7gws3ljdxqwsbb4pmfc0sfflf8szgmrhiqr3k82mqv2"))))
+ (build-system haskell-build-system)
+ (inputs
+ (list ghc-quickcheck
+ ghc-primitive
+ ghc-primitive-addr
+ ghc-quickcheck-classes-base
+ ghc-aeson
+ ghc-semigroupoids
+ ghc-semirings
+ ghc-vector))
+ (native-inputs
+ (list ghc-base-orphans
+ ghc-tagged
+ ghc-base-orphans
+ ghc-tagged
+ ghc-tasty
+ ghc-tasty-quickcheck))
+ (home-page "https://github.com/andrewthad/quickcheck-classes#readme")
+ (synopsis "QuickCheck common typeclasses")
+ (description
+ "This library provides QuickCheck properties to ensure that typeclass
+instances adhere to the set of laws that they are supposed to. There are
+other libraries that do similar things, such as @code{genvalidity-hspec} and
+@code{checkers}. This library differs from other solutions by not introducing
+any new typeclasses that the user needs to learn. /Note:/ on GHC < 8.5, this
+library uses the higher-kinded typeclasses (@code{Data.Functor.Classes.Show1},
+@code{Data.Functor.Classes.Eq1}, @code{Data.Functor.Classes.Ord1}, etc.), but
+on GHC >= 8.5, it uses @code{-XQuantifiedConstraints} to express these
+constraints more cleanly.")
+ (license license:bsd-3)))
+
(define-public ghc-quickcheck-classes-base
(package
(name "ghc-quickcheck-classes-base")