diff options
| author | John Soo <jsoo1@asu.edu> | 2020-04-10 21:11:00 -0700 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2020-05-29 10:44:31 -0400 |
| commit | 4c77a1a00bc39e977e48301849941ae4bf5ee560 (patch) | |
| tree | 62f8cb61275f68d995cc044be85fca8285718344 | |
| parent | a152258be2cda989d64dd9c9bb7db8d52a325077 (diff) | |
gnu: Add ghc-special-values.
* gnu/packages/haskell-xyz.scm (ghc-special-values): New variable.
Signed-off-by: Leo Famulari <leo@famulari.name>
| -rw-r--r-- | gnu/packages/haskell-xyz.scm | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index b483b71d21..7f152e7e92 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -11145,6 +11145,32 @@ core of @url{https://hackage.haskell.org/package/generics-sop, generics-sop}.") (license license:bsd-3))) +(define-public ghc-special-values + (package + (name "ghc-special-values") + (version "0.1.0.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/special-values/" + "special-values-" version ".tar.gz")) + (sha256 + (base32 + "1kkdw2c4d2hha99v9f89ahmifjxp7fxmxyfwq9a8xk6s0h9xs51w")))) + (build-system haskell-build-system) + (inputs + `(("ghc-scientific" ,ghc-scientific) + ("ghc-ieee754" ,ghc-ieee754) + ("ghc-nats" ,ghc-nats))) + (home-page + "https://github.com/minad/special-values#readme") + (synopsis "Typeclass providing special values") + (description + "Special values are provided by a SpecialValues typeclass. Those can be +used for example by QuickCheck, see quickcheck-special." ) + (license license:expat))) + (define-public ghc-split (package (name "ghc-split") |