diff --git a/manifest.dhall b/manifest.dhall index 4c59c98a8416edfb37c1b736a4bc3f3ff2c3ffcd..86c64814d5ea7f9514cb387a5634bd60d28d8549 100644 --- a/manifest.dhall +++ b/manifest.dhall @@ -167,6 +167,7 @@ in [ callHackage "Cabal" "3.8.1.0" , callHackage "genvalidity-hspec" "1.0.0.2" , callHackage "genvalidity-path" "1.0.0.1" , callHackage "genvalidity-persistent" "1.0.0.1" + , callHackage "genvalidity-property" "1.0.0.0" , callHackage "genvalidity-scientific" "1.0.0.0" , callHackage "genvalidity-sydtest-aeson" "1.0.0.0" , callHackage "genvalidity-text" "1.0.0.1" diff --git a/overlay.nix b/overlay.nix index b2b7fa2e4ca3b12abac9ab9fe92d00b22b6d5b68..acb8bb3adbe095fe1cccd3264261e3441e9ec752 100644 --- a/overlay.nix +++ b/overlay.nix @@ -169,6 +169,8 @@ final: prev: with pkgs.haskell.lib; { genvalidity-persistent = prev.callPackage (./pkgs/genvalidity-persistent.nix) { }; + genvalidity-property = prev.callPackage (./pkgs/genvalidity-property.nix) { }; + genvalidity-scientific = prev.callPackage (./pkgs/genvalidity-scientific.nix) { }; genvalidity-sydtest-aeson = prev.callPackage (./pkgs/genvalidity-sydtest-aeson.nix) { }; diff --git a/pkgs/genvalidity-property.nix b/pkgs/genvalidity-property.nix new file mode 100644 index 0000000000000000000000000000000000000000..60e451008f8d91eebd7fcaf158f7bf20a6b41638 --- /dev/null +++ b/pkgs/genvalidity-property.nix @@ -0,0 +1,19 @@ +{ mkDerivation, base, genvalidity, hspec, lib, pretty-show +, QuickCheck, validity +}: +mkDerivation { + pname = "genvalidity-property"; + version = "1.0.0.0"; + sha256 = "9c5e385ac5dd5b554d8ff07422261248178bcee8f226b2c7ca93cd4c006eacdb"; + libraryHaskellDepends = [ + base genvalidity hspec pretty-show QuickCheck validity + ]; + testHaskellDepends = [ base genvalidity hspec QuickCheck ]; + doHaddock = false; + jailbreak = true; + doCheck = false; + hyperlinkSource = false; + homepage = "https://github.com/NorfairKing/validity#readme"; + description = "Standard properties for functions on `Validity` types"; + license = lib.licenses.mit; +} \ No newline at end of file