From 6aab5c319e28d2f7bf7c83100d4a6796204ca7a0 Mon Sep 17 00:00:00 2001
From: Daniel Firth <dan.firth@homotopic.tech>
Date: Mon, 17 Oct 2022 16:00:27 +0100
Subject: [PATCH] refined: init at 0.8
---
manifest.dhall | 1 +
overlay.nix | 2 ++
pkgs/refined.nix | 21 +++++++++++++++++++++
3 files changed, 24 insertions(+)
create mode 100644 pkgs/refined.nix
diff --git a/manifest.dhall b/manifest.dhall
index 31945fa3..e775cccb 100644
--- a/manifest.dhall
+++ b/manifest.dhall
@@ -260,6 +260,7 @@ in [ callHackage "Cabal" "3.8.1.0"
, callHackage "quickcheck-dynamic" "2.0.0"
, callHackage "quickcheck-instances" "0.3.28"
, callHackage "rebase" "1.16"
+ , callHackage "refined" "0.8"
, callHackage "rerebase" "1.15.0.3"
, callHackage "relude" "1.1.0.0"
, callHackage "retry" "0.9.3.0"
diff --git a/overlay.nix b/overlay.nix
index bd0faad3..abeec450 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -323,6 +323,8 @@ final: prev: with pkgs.haskell.lib; {
rebase = prev.callPackage (./pkgs/rebase.nix) { };
+ refined = prev.callPackage (./pkgs/refined.nix) { };
+
relude = prev.callPackage (./pkgs/relude.nix) { };
rerebase = prev.callPackage (./pkgs/rerebase.nix) { };
diff --git a/pkgs/refined.nix b/pkgs/refined.nix
new file mode 100644
index 00000000..19bba77f
--- /dev/null
+++ b/pkgs/refined.nix
@@ -0,0 +1,21 @@
+{ mkDerivation, aeson, base, bytestring, deepseq, exceptions
+, hashable, lib, mtl, QuickCheck, template-haskell, text
+, these-skinny
+}:
+mkDerivation {
+ pname = "refined";
+ version = "0.8";
+ sha256 = "3a477dd64a741708e32223a5deb79d297a36804ede759a8a50ed96c7bcad7f62";
+ libraryHaskellDepends = [
+ aeson base bytestring deepseq exceptions hashable mtl QuickCheck
+ template-haskell text these-skinny
+ ];
+ testHaskellDepends = [ base QuickCheck ];
+ doHaddock = false;
+ jailbreak = true;
+ doCheck = false;
+ hyperlinkSource = false;
+ homepage = "https://github.com/nikita-volkov/refined";
+ description = "Refinement types with static and runtime checking";
+ license = lib.licenses.mit;
+}
\ No newline at end of file
--
GitLab