[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers.
From: |
Romain GARBAGE |
Subject: |
[bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers. |
Date: |
Mon, 22 Jul 2024 13:28:10 +0200 |
* gnu/packages/haskell-xyz.scm (ghc-checkers): New variable.
Change-Id: I4228398238a169e49e68ead60cbe69ef0437e3e9
---
gnu/packages/haskell-xyz.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 60d25dd4bf..e29e84aa9b 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -1830,6 +1830,31 @@ (define-public ghc-cheapskate
cross-site scripting (@dfn{XSS}) attacks.")
(license license:bsd-3)))
+(define-public ghc-checkers
+ (package
+ (name "ghc-checkers")
+ (version "0.6.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (hackage-uri "checkers" version))
+ (sha256
+ (base32 "1r4rsa4k0fy8xig3m530ryflry9viv9v47g4gh7h0ld27rbd6z60"))))
+ (build-system haskell-build-system)
+ (properties '((upstream-name . "checkers")))
+ (inputs (list ghc-random ghc-quickcheck ghc-semigroupoids))
+ (arguments
+ `(#:cabal-revision ("1"
+
"0wkvf57zd7i87z18vj285whjpcl9pscpwxz2cp7v7w6kk0769p0i")))
+ (home-page "https://github.com/haskell-checkers/checkers")
+ (synopsis "Check properties on standard classes and data structures")
+ (description
+ "Checkers wraps up the expected properties associated with various
standard type
+classes as @code{QuickCheck} properties. Also some morphism properties. It
+also provides arbitrary instances and generator combinators for common data
+types. . © 2008-2013 by Conal Elliott; BSD3 license.")
+ (license license:bsd-3)))
+
(define-public ghc-chell
(package
(name "ghc-chell")
--
2.45.1
- [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection., (continued)
- [bug#44518] [PATCH v3 07/25] gnu: Add ghc-crypton-connection., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 08/25] gnu: Add ghc-mattermost-api., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 10/25] gnu: Add ghc-modern-uri., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 09/25] gnu: Add ghc-mattermost-api-qc., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 11/25] gnu: Add ghc-aspell-pipe., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 17/25] gnu: Add ghc-unique., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 12/25] gnu: Add ghc-bimap., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 14/25] gnu: Add ghc-monad-parallel., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 18/25] gnu: Add ghc-unix-compat-7., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 16/25] gnu: Add ghc-stm-delay., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 13/25] gnu: Add ghc-checkers.,
Romain GARBAGE <=
- [bug#44518] [PATCH v3 19/25] gnu: Add ghc-vty-crossplatform., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 23/25] gnu: Add ghc-brick., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 15/25] gnu: ghc-text-zipper: Update to 0.13., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 21/25] gnu: Add ghc-vty-6., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 25/25] gnu: Add matterhorn., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 22/25] gnu: Add ghc-hclip., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 24/25] gnu: Add ghc-brick-skylighting., Romain GARBAGE, 2024/07/22
- [bug#44518] [PATCH v3 20/25] gnu: Add ghc-vty-unix., Romain GARBAGE, 2024/07/22
- [bug#71938] [PATCH v3 00/25] Add matterhorn package., Ricardo Wurmus, 2024/07/22
- bug#71938: [PATCH v3 00/25] Add matterhorn package., Ricardo Wurmus, 2024/07/22