diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-04 14:36:03 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-07-04 16:29:15 +0200 |
| commit | e3ae9bf75ba61c5b9bc5c75cb18f247668abe954 (patch) | |
| tree | 9a4d117cc40176beb7cf4db84baa045bf4515650 /gnu | |
| parent | 70c462b375ae137ce5ea2654943e22bc4601686e (diff) | |
gnu: Add ghc-quickcheck-assertions.
* gnu/packages/haskell-check.scm (ghc-quickcheck-assertions): New public variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/haskell-check.scm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gnu/packages/haskell-check.scm b/gnu/packages/haskell-check.scm index e741d494ed..a200c1b60c 100644 --- a/gnu/packages/haskell-check.scm +++ b/gnu/packages/haskell-check.scm @@ -515,6 +515,33 @@ hold in a large number of randomly generated cases. Specifications are expressed in Haskell, using combinators defined in the QuickCheck library.") (license license:bsd-3))) +(define-public ghc-quickcheck-assertions + (package + (name "ghc-quickcheck-assertions") + (version "0.3.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/" + "quickcheck-assertions/" + "quickcheck-assertions-" version ".tar.gz")) + (sha256 + (base32 "1kyam4cy7qmnizjwjm8jamq43w7f0fs6ljfplwj0ib6wi2kjh0wv")))) + (build-system haskell-build-system) + (native-inputs + `(("ghc-hspec" ,ghc-hspec))) + (inputs + `(("ghc-ieee754" ,ghc-ieee754) + ("ghc-pretty-show" ,ghc-pretty-show) + ("ghc-quickcheck" ,ghc-quickcheck))) + (home-page "https://github.com/s9gf4ult/quickcheck-assertions") + (synopsis "HUnit-like assertions for QuickCheck") + (description + "This Haskell library provides convenient assertions with pretty-printed +failure messages for QuickCheck properties, that are similar to those of +HUnit.") + (license license:lgpl3))) + (define-public ghc-test-framework (package (name "ghc-test-framework") |