[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables.
From: |
Josselin Poiret |
Subject: |
[bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables. |
Date: |
Sun, 30 Apr 2023 12:53:12 +0200 |
From: Josselin Poiret <dev@jpoiret.xyz>
* gnu/packages/haskell-xyz.scm (ghc-vector-hashtables): New variable.
---
gnu/packages/haskell-xyz.scm | 21 +++++++++++++++++++++
1 file changed, 21 insertions(+)
diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm
index 0c1eb15d79..aaa7255956 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13328,6 +13328,27 @@ (define-public ghc-vector-builder
vector.")
(license license:expat)))
+(define-public ghc-vector-hashtables
+ (package
+ (name "ghc-vector-hashtables")
+ (version "0.1.1.2")
+ (source (origin
+ (method url-fetch)
+ (uri (hackage-uri "vector-hashtables" version))
+ (sha256
+ (base32
+ "0hrjvy9qg1m5g3w91zxy4syqmp8jk7ajjbxbzkhy282dwfigkyd2"))))
+ (build-system haskell-build-system)
+ (inputs (list ghc-primitive ghc-vector ghc-hashable))
+ (native-inputs (list ghc-hspec ghc-quickcheck ghc-quickcheck-instances
+ hspec-discover))
+ (home-page "https://github.com/klapaucius/vector-hashtables#readme")
+ (synopsis "Efficient vector-based mutable hashtables implementation")
+ (description
+ "This package provides efficient vector-based hashtable implementation
+similar to .NET Generic Dictionary implementation (at the time of 2015).")
+ (license license:bsd-3)))
+
(define-public ghc-vector-th-unbox
(package
(name "ghc-vector-th-unbox")
--
2.39.2
- [bug#61915] [PATCH v2 00/13] Update agda, add build-system and libraries., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables.,
Josselin Poiret <=
- [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell., Josselin Poiret, 2023/04/30
- [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories., Josselin Poiret, 2023/04/30