ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-11-07 15:36:20 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: Add ghc-genvalidity-property.

Browse source 
* gnu/packages/haskell.scm (ghc-genvalidity-property): New variable.
This commit is contained in:
Brian Leung 2019-06-20 07:56:21 +02:00 committed by Timothy Sample
parent 522b61ab80
commit 51c8370385
No known key found for this signature in database
GPG key ID: 2AC6A5EC1C357C59
1 changed files with 32 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

32
gnu/packages/haskell.scm
View file

@ -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")