diff options
| author | zamfofex <zamfofex@twdb.moe> | 2023-06-14 09:48:54 -0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-07-07 15:30:23 +0200 |
| commit | 584cc466efdb27256e5f062e91e72da63d83921f (patch) | |
| tree | dd84740cd0bde0990ea7264d6341ca28ace7e224 /gnu/packages/haskell-xyz.scm | |
| parent | 87bf63df6b77d4b97f3c3350968d8da7a3884c6a (diff) | |
gnu: Add ghc-prim-uniq.
* gnu/packages/haskell-xyz.scm (ghc-prim-uniq): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages/haskell-xyz.scm')
| -rw-r--r-- | gnu/packages/haskell-xyz.scm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 55893404a6..11f8711cdf 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -16564,6 +16564,26 @@ same-and-increasingly-sized values.") 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 |