diff --git a/manifest.dhall b/manifest.dhall index 68f9b6b11d2c8f8a4fca9e69147f4a6b71ccd43a..32953efca4fe1a96f22b5b12906342dd7a1e0157 100644 --- a/manifest.dhall +++ b/manifest.dhall @@ -172,6 +172,7 @@ in [ callHackage "Cabal" "3.8.1.0" , callHackage "genvalidity-sydtest" "1.0.0.0" , callHackage "genvalidity-sydtest-aeson" "1.0.0.0" , callHackage "genvalidity-sydtest-hashable" "1.0.0.0" + , callHackage "genvalidity-sydtest-lens" "1.0.0.0" , callHackage "genvalidity-text" "1.0.0.1" , callHackage "genvalidity-unordered-containers" "1.0.0.0" , callHackage "genvalidity-vector" "1.0.0.0" diff --git a/overlay.nix b/overlay.nix index ab4b7328bf5516d40b76b2c3aa8035dea933ee86..f5f1e683b7aa90be0a48da5fe99e8698389bc67b 100644 --- a/overlay.nix +++ b/overlay.nix @@ -179,6 +179,8 @@ final: prev: with pkgs.haskell.lib; { genvalidity-sydtest-hashable = prev.callPackage (./pkgs/genvalidity-sydtest-hashable.nix) { }; + genvalidity-sydtest-lens = prev.callPackage (./pkgs/genvalidity-sydtest-lens.nix) { }; + genvalidity-text = prev.callPackage (./pkgs/genvalidity-text.nix) { }; genvalidity-unordered-containers = prev.callPackage (./pkgs/genvalidity-unordered-containers.nix) { }; diff --git a/pkgs/genvalidity-sydtest-lens.nix b/pkgs/genvalidity-sydtest-lens.nix new file mode 100644 index 0000000000000000000000000000000000000000..811fb30a5567155807877dfb26a397aaab56f947 --- /dev/null +++ b/pkgs/genvalidity-sydtest-lens.nix @@ -0,0 +1,22 @@ +{ mkDerivation, base, genvalidity, genvalidity-sydtest, lib +, microlens, QuickCheck, sydtest, sydtest-discover, validity +}: +mkDerivation { + pname = "genvalidity-sydtest-lens"; + version = "1.0.0.0"; + sha256 = "a9ca038b9a7bed8d6df36cf8c1b395ef031ae60f0fd1088dc7ab22b7a05f6f7b"; + libraryHaskellDepends = [ + base genvalidity genvalidity-sydtest microlens QuickCheck sydtest + ]; + testHaskellDepends = [ + base genvalidity genvalidity-sydtest microlens sydtest validity + ]; + testToolDepends = [ sydtest-discover ]; + doHaddock = false; + jailbreak = true; + doCheck = false; + hyperlinkSource = false; + homepage = "http://cs-syd.eu"; + description = "Standard spec's for lens for sydtest"; + license = lib.licenses.mit; +} \ No newline at end of file