From 5b6e3266fedd369198ee2b8411e7631af53c5219 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 7 Nov 2022 14:55:41 +0000
Subject: [PATCH] logict: init at 0.8.0.0
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/logict.nix | 22 ++++++++++++++++++++++
3 files changed, 25 insertions(+)
create mode 100644 pkgs/logict.nix
diff --git a/manifest.dhall b/manifest.dhall
index 1e6561ad..18d7f629 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -465,6 +465,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "lifted-base" "0.2.3.12"
, callHackage "linear" "1.21.10"
, callHackage "logging-facade" "0.3.1"
+ , callHackage "logict" "0.8.0.0"
, callHackage "log-base" "0.12.0.0"
, callCabal2nix
"log-effectful"
diff --git a/overlay.nix b/overlay.nix
index 6fccc9b5..bf68b648 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -691,6 +691,8 @@ self: with pkgs.haskell.lib; {
logging-facade = self.callPackage (./pkgs/logging-facade.nix) { };
+ logict = self.callPackage (./pkgs/logict.nix) { };
+
lpeg = self.callPackage (./pkgs/lpeg.nix) { };
lsp = self.callPackage (./pkgs/lsp.nix) { };
diff --git a/pkgs/logict.nix b/pkgs/logict.nix
new file mode 100644
index 00000000..8b903e8b
--- /dev/null
+++ b/pkgs/logict.nix
@@ -0,0 +1,22 @@
+{ mkDerivation, async, base, lib, mtl, tasty, tasty-hunit }:
+mkDerivation {
+ pname = "logict";
+ version = "0.8.0.0";
+ sha256 = "fe926df295bc43df794247360e7a0a0dfdc778bce986f8aadba98fe52228fb56";
+ isLibrary = true;
+ isExecutable = true;
+ enableSeparateDataOutput = false;
+ libraryHaskellDepends = [ base mtl ];
+ testHaskellDepends = [ async base mtl tasty tasty-hunit ];
+ enableLibraryProfiling = false;
+ enableExecutableProfiling = false;
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ doBenchmark = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/Bodigrim/logict#readme";
+ description = "A backtracking logic-programming monad";
+ license = lib.licenses.bsd3;
+ broken = false;
+}
--
GitLab