dependent-map: init at 0.4.0.0

horizon.dhall

@@ -7,6 +7,7 @@ let packages =
       , cassava = H.callHackage "cassava" "0.5.3.0"
       , constraints-extras = H.callHackage "constraints-extras" "0.4.0.0"
       , cpphs = H.callHackage "cpphs" "1.20.9.1"
+      , dependent-map = H.callHackage "dependent-map" "0.4.0.0"
       , dependent-sum = H.callHackage "dependent-sum" "0.7.2.0"
       , dependent-sum-template =
           H.callHackage "dependent-sum-template" "0.1.1.1"

horizon.lock

@@ -18,6 +18,10 @@
   , mapValue =
       "0073ee887a7ec146c662f6f2aa44daf055ebf84658d9c8aa26072ee302e2e4c9"
   }
+, { mapKey = "dependent-map"
+  , mapValue =
+      "f2cb952d1f9dd6ccb32d803d714aafb5166f2ff05209a29b1a46de33b7db593f"
+  }
 , { mapKey = "dependent-sum"
   , mapValue =
       "7528702c4e9cd688f85868176134a904936f993075d74892370b6ee2adf9bd52"

overlay.nix

@@ -11,6 +11,8 @@ final: prev: with pkgs.haskell.lib; {
 
   cpphs = final.callPackage (./pkgs/cpphs.nix) { };
 
+  dependent-map = final.callPackage (./pkgs/dependent-map.nix) { };
+
   dependent-sum = final.callPackage (./pkgs/dependent-sum.nix) { };
 
   dependent-sum-template = final.callPackage (./pkgs/dependent-sum-template.nix) { };

pkgs/dependent-map.nix

+{ mkDerivation, base, constraints-extras, containers, dependent-sum
+, lib
+}:
+mkDerivation {
+  pname = "dependent-map";
+  version = "0.4.0.0";
+  sha256 = "53ce0b52d8be1b85fc6489fb27656f16d837bee4fbe0ddf39c844e3ea8871f2c";
+  revision = "1";
+  editedCabalFile = "160p9crvlx1sn60inkwxa6mv1h2d4fgqnpsb2km67zrkpdfyd2s2";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    base constraints-extras containers dependent-sum
+  ];
+  enableLibraryProfiling = true;
+  enableExecutableProfiling = true;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/obsidiansystems/dependent-map";
+  description = "Dependent finite maps (partial dependent products)";
+  license = "unknown";
+  broken = false;
+}
\ No newline at end of file