finite-typelits: init at 0.1.6.0

horizon.dhall

@@ -162,6 +162,7 @@ let otherLibraries =
       , H.callHackage "dns" "4.1.0"
       , H.callHackage "doctest-discover" "0.2.0.0"
       , H.callHackage "dom-lt" "0.2.3"
+      , H.callHackage "finite-typelits" "0.1.6.0"
       , H.callGit
           "flat"
           "https://github.com/Quid2/flat"

overlay.nix

@@ -117,6 +117,8 @@ final: prev: with pkgs.haskell.lib; {
 
   dom-lt = final.callPackage (./pkgs/dom-lt.nix) { };
 
+  finite-typelits = final.callPackage (./pkgs/finite-typelits.nix) { };
+
   flat = final.callPackage (./pkgs/flat.nix) { };
 
   generic-monoid = final.callPackage (./pkgs/generic-monoid.nix) { };

pkgs/finite-typelits.nix

+{ mkDerivation, QuickCheck, base, deepseq, lib }:
+mkDerivation {
+  pname = "finite-typelits";
+  version = "0.1.6.0";
+  sha256 = "3046456b3b3b7a202da7dc61f909e5925f9eaa57d5e03ce81d3f76ca7d3b0438";
+  isLibrary = true;
+  isExecutable = false;
+  enableSeparateDataOutput = false;
+  libraryHaskellDepends = [ base deepseq ];
+  testHaskellDepends = [ base deepseq QuickCheck ];
+  enableLibraryProfiling = true;
+  enableExecutableProfiling = true;
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  doBenchmark = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/mniip/finite-typelits";
+  description = "A type inhabited by finitely many values, indexed by type-level naturals";
+  license = lib.licenses.bsd3;
+  broken = false;
+}