diff --git a/manifest.dhall b/manifest.dhall index cb1a3087bdea8ccd633a3d6f34b15525a92b97f1..a68c8d88b94f5c2bfca81414bfafe797c089e1e1 100644 --- a/manifest.dhall +++ b/manifest.dhall @@ -163,6 +163,7 @@ in [ callHackage "Cabal" "3.8.1.0" , callHackage "genvalidity-bytestring" "1.0.0.1" , callHackage "genvalidity-case-insensitive" "0.0.0.1" , callHackage "genvalidity-containers" "1.0.0.1" + , callHackage "genvalidity-criterion" "1.1.0.0" , callHackage "genvalidity-hspec" "1.0.0.2" , callHackage "genvalidity-scientific" "1.0.0.0" , callHackage "genvalidity-sydtest-aeson" "1.0.0.0" diff --git a/overlay.nix b/overlay.nix index d601f4d46ba42a4826ffa1307c94c62bc4943418..4a1157a8ca984003956ddd25c910654d776db1f8 100644 --- a/overlay.nix +++ b/overlay.nix @@ -161,6 +161,8 @@ final: prev: with pkgs.haskell.lib; { genvalidity-containers = prev.callPackage (./pkgs/genvalidity-containers.nix) { }; + genvalidity-criterion = prev.callPackage (./pkgs/genvalidity-criterion.nix) { }; + genvalidity-hspec = prev.callPackage (./pkgs/genvalidity-hspec.nix) { }; genvalidity-scientific = prev.callPackage (./pkgs/genvalidity-scientific.nix) { }; diff --git a/pkgs/genvalidity-criterion.nix b/pkgs/genvalidity-criterion.nix new file mode 100644 index 0000000000000000000000000000000000000000..42235cf247d1e85e79a0f1da2c35fa03b9f64223 --- /dev/null +++ b/pkgs/genvalidity-criterion.nix @@ -0,0 +1,21 @@ +{ mkDerivation, base, criterion, deepseq, genvalidity, lib +, QuickCheck, vector +}: +mkDerivation { + pname = "genvalidity-criterion"; + version = "1.1.0.0"; + sha256 = "a94329cad18ba86cbeb05b6c76bc88b5fc94fa7a1a1024671fbb63f7b3dd4e56"; + libraryHaskellDepends = [ + base criterion deepseq genvalidity QuickCheck vector + ]; + benchmarkHaskellDepends = [ + base criterion genvalidity QuickCheck + ]; + doHaddock = false; + jailbreak = true; + doCheck = false; + hyperlinkSource = false; + homepage = "https://github.com/NorfairKing/validity#readme"; + description = "Criterion benchmarks for generators"; + license = lib.licenses.mit; +} \ No newline at end of file