dependent-sum-template: init 0.1.1.1

manifest.dhall

@@ -135,6 +135,7 @@ in  [ callHackage "HTF" "0.15.0.0"
     , callHackage "composition-prelude" "3.0.0.2"
     , callHackage "contra-tracer" "0.2.0.0"
     , callHackage "data-ordlist" "0.4.7.0"
+    , callHackage "dependent-sum-template" "0.1.1.1"
     , callCabal2nix
         "flat"
         "https://github.com/Quid2/flat"

overlay.nix

@@ -91,6 +91,8 @@ final: prev: with pkgs.haskell.lib; {
 
   data-ordlist = prev.callPackage (./pkgs/data-ordlist.nix) { };
 
+  dependent-sum-template = prev.callPackage (./pkgs/dependent-sum-template.nix) { };
+
   flat = prev.callPackage (./pkgs/flat.nix) { };
 
   generic-monoid = prev.callPackage (./pkgs/generic-monoid.nix) { };

pkgs/dependent-sum-template.nix

+{ mkDerivation
+, base
+, constraints-extras
+, dependent-sum
+, lib
+, template-haskell
+, th-abstraction
+, th-extras
+}:
+mkDerivation {
+  pname = "dependent-sum-template";
+  version = "0.1.1.1";
+  sha256 = "d46fc18d5c2f5d385f901777e982e8a1ae9094ba7e68f7e4997a82036375ae0f";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [
+    base
+    dependent-sum
+    template-haskell
+    th-abstraction
+    th-extras
+  ];
+  testHaskellDepends = [ base constraints-extras dependent-sum ];
+  enableLibraryProfiling = false;
+  enableExecutableProfiling = false;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/obsidiansystems/dependent-sum";
+  description = "Template Haskell code to generate instances of classes in dependent-sum package";
+  license = lib.licenses.publicDomain;
+  broken = false;
+}