all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Josselin Poiret via Guix-patches via <guix-patches@gnu.org>
To: Josselin Poiret <dev@jpoiret.xyz>, 61915@debbugs.gnu.org
Subject: [bug#61915] [PATCH 2/4] gnu: Add ghc-vector-hashtables
Date: Thu,  2 Mar 2023 15:13:34 +0100	[thread overview]
Message-ID: <19d6b531d74ba3a36971000c304851fa29e4de5f.1677685282.git.dev@jpoiret.xyz> (raw)
In-Reply-To: <cover.1677685282.git.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 e7e566fcfc..a98f8adeb0 100644
--- a/gnu/packages/haskell-xyz.scm
+++ b/gnu/packages/haskell-xyz.scm
@@ -13305,6 +13305,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.1





  parent reply	other threads:[~2023-03-02 14:14 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-02 14:10 [bug#61915] [PATCH 0/4] Update Agda to 2.6.3 Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 1/4] gnu: Add ghc-peano Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` Josselin Poiret via Guix-patches via [this message]
2023-03-02 14:13 ` [bug#61915] [PATCH 3/4] gnu: agda: Update to 2.6.3 and switch to git-fetch Josselin Poiret via Guix-patches via
2023-03-02 14:13 ` [bug#61915] [PATCH 4/4] gnu: agda: Build info manual Josselin Poiret via Guix-patches via
2023-03-03  1:30 ` [bug#61915] [PATCH 0/4] Update Agda to 2.6.3 Simon Tournier
2023-03-03 16:24   ` Josselin Poiret via Guix-patches via
2023-04-30 10:53     ` [bug#61915] [PATCH v2 00/13] Update agda, add build-system and libraries Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 01/13] gnu: Add ghc-peano Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 02/13] gnu: Add ghc-vector-hashtables Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 03/13] gnu: agda: Update to 2.6.3 and switch to git-fetch Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 04/13] gnu: agda: Build info manual Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 05/13] gnu: emacs-agda2-mode: No longer inherit from agda Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 06/13] gnu: emacs-agda2-mode: Switch to G-Exps Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 07/13] gnu: agda: Add AGDA_LIBDIRS search-path Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 08/13] build-system/haskell: Export default-haskell Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 09/13] build-system: New agda-build-system Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 10/13] gnu: Add agda-stdlib Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 11/13] gnu: Add agda-categories Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 12/13] gnu: Add agda-cubical Josselin Poiret via Guix-patches via
2023-04-30 10:53       ` [bug#61915] [PATCH v2 13/13] gnu: Add agda-1lab Josselin Poiret via Guix-patches via
2023-06-04  9:47       ` bug#61915: [PATCH v2 00/13] Update agda, add build-system and libraries Josselin Poiret via Guix-patches via

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=19d6b531d74ba3a36971000c304851fa29e4de5f.1677685282.git.dev@jpoiret.xyz \
    --to=guix-patches@gnu.org \
    --cc=61915@debbugs.gnu.org \
    --cc=dev@jpoiret.xyz \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.