From 66a2d8c2a0bf6ed669ae044a00bbb29b6d0c66bc Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 14:40:26 +0000
Subject: [PATCH] fingertree-psqueue: init at 0.3
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/fingertree-psqueue.nix | 20 ++++++++++++++++++++
3 files changed, 23 insertions(+)
create mode 100644 pkgs/fingertree-psqueue.nix
diff --git a/manifest.dhall b/manifest.dhall
index aee81d05..0f624d45 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -275,6 +275,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "file-embed" "0.0.15.0"
, callHackage "filemanip" "0.3.6.3"
, callHackage "filepattern" "0.1.3"
+ , callHackage "fingertree-psqueue" "0.3"
, callHackage "fingertree" "0.1.5.0"
, callHackage "finite-field" "0.10.0"
, callHackage "first-class-families" "0.8.0.1"
diff --git a/overlay.nix b/overlay.nix
index 76fa8a0d..e2635cf7 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -367,6 +367,8 @@ self: with pkgs.haskell.lib; {
fingertree = self.callPackage (./pkgs/fingertree.nix) { };
+ fingertree-psqueue = self.callPackage (./pkgs/fingertree-psqueue.nix) { };
+
finite-field = self.callPackage (./pkgs/finite-field.nix) { };
first-class-families = self.callPackage (./pkgs/first-class-families.nix) { };
diff --git a/pkgs/fingertree-psqueue.nix b/pkgs/fingertree-psqueue.nix
new file mode 100644
index 00000000..37493aea
--- /dev/null
+++ b/pkgs/fingertree-psqueue.nix
@@ -0,0 +1,20 @@
+{ mkDerivation, base, fingertree, lib }:
+mkDerivation {
+ pname = "fingertree-psqueue";
+ version = "0.3";
+ sha256 = "9f8c2f1965ea7a618d969db6506c8f373c95e09072b2182de40713d265046c92";
+ isLibrary = true;
+ isExecutable = false;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [ base fingertree ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ description = "Implementation of priority search queues as finger trees";
+ license = lib.licenses.bsd3;
+ broken = false;
+}
--
GitLab