From 51c8370385173c1055595c2721b1e70137e7dbd7 Mon Sep 17 00:00:00 2001 From: Brian Leung Date: Thu, 20 Jun 2019 07:56:21 +0200 Subject: gnu: Add ghc-genvalidity-property. * gnu/packages/haskell.scm (ghc-genvalidity-property): New variable. --- gnu/packages/haskell.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) (limited to 'gnu/packages') diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index a9b0dd71ca..e2a7f20697 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -11594,6 +11594,38 @@ (define-public ghc-genvalidity with the @code{Validity} typeclass.") (license license:expat))) +(define-public ghc-genvalidity-property + (package + (name "ghc-genvalidity-property") + (version "0.2.1.1") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/" + "genvalidity-property/genvalidity-property-" + version + ".tar.gz")) + (sha256 + (base32 + "0cjw5i2pydidda9bnp6x37ylhxdk9g874x5sadr6sscg5kq85a1b")))) + (build-system haskell-build-system) + (inputs + `(("ghc-quickcheck" ,ghc-quickcheck) + ("ghc-genvalidity" ,ghc-genvalidity) + ("ghc-hspec" ,ghc-hspec) + ("hspec-discover" ,hspec-discover) + ("ghc-validity" ,ghc-validity))) + (native-inputs `(("ghc-doctest" ,ghc-doctest))) + (home-page + "https://github.com/NorfairKing/validity") + (synopsis + "Standard properties for functions on @code{Validity} types") + (description + "This package supplements the @code{Validity} typeclass with standard +properties for functions operating on them.") + (license license:expat))) + (define-public ghc-validity (package (name "ghc-validity") -- cgit v1.2.3