mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-27 14:52:05 -05:00
gnu: Add ghc-prim-uniq.
* gnu/packages/haskell-xyz.scm (ghc-prim-uniq): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
This commit is contained in:
parent
87bf63df6b
commit
584cc466ef
1 changed files with 20 additions and 0 deletions
|
@ -16564,6 +16564,26 @@ (define-public ghc-test-framework-leancheck
|
|||
to incorporate LeanCheck tests into test-framework test suites.")
|
||||
(license license:bsd-3)))
|
||||
|
||||
(define-public ghc-prim-uniq
|
||||
(package
|
||||
(name "ghc-prim-uniq")
|
||||
(version "0.2")
|
||||
(source (origin
|
||||
(method url-fetch)
|
||||
(uri (hackage-uri "prim-uniq" version))
|
||||
(sha256
|
||||
(base32
|
||||
"1l7jlv3pfasn89n2wpgff972npy423vqsidkkn5crxfyqjyzxbdv"))))
|
||||
(build-system haskell-build-system)
|
||||
(properties '((upstream-name . "prim-uniq")))
|
||||
(inputs (list ghc-dependent-sum ghc-primitive))
|
||||
(home-page "https://github.com/obsidiansystems/prim-uniq")
|
||||
(synopsis "Opaque unique identifiers in primitive state monads")
|
||||
(description
|
||||
"This library provides opaque unique identifiers in primitive state
|
||||
monads and a GADT-like type using them as witnesses of type equality.")
|
||||
(license license:public-domain)))
|
||||
|
||||
;;;
|
||||
;;; Avoid adding new packages to the end of this file. To reduce the chances
|
||||
;;; of a merge conflict, place them above by existing packages with similar
|
||||
|
|
Loading…
Reference in a new issue