Cabal revisions of quickcheck-higherorder-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: quickcheck-higherorder-version: 0.1.0.0-synopsis: QuickCheck extension for higher-order properties-description:- Enhancements for property-based testing of higher-order properties.- .- * Associate types to their representations with the- 'Test.QuickCheck.HigherOrder.Constructible' class.- * 'Test.QuickCheck.HigherOrder.Testable'' class,- variant of 'Test.QuickCheck.Testable' with an improved instance for @(->)@.- * Representation of higher-order functions (via test-fun).- * Testable equality 'Test.QuickCheck.HigherOrder.TestEq'.- * Explicit testable type of 'Test.QuickCheck.HigherOrder.Equation'.- .- See also README.-homepage: https://github.com/Lysxia/quickcheck-higherorder#readme-license: MIT-license-file: LICENSE-author: Li-yao Xia-maintainer: lysxia@gmail.com-copyright: 2020 Li-yao Xia-category: Testing-build-type: Simple-extra-source-files: README.md-cabal-version: >=1.10-tested-with: GHC == 8.0.2 || == 8.2.2 || == 8.4.4 || == 8.6.5 || == 8.8.2--library- hs-source-dirs: src- exposed-modules:- Test.QuickCheck.HigherOrder- Test.QuickCheck.HigherOrder.Internal.Constructible- Test.QuickCheck.HigherOrder.Internal.Function- Test.QuickCheck.HigherOrder.Internal.Testable- Test.QuickCheck.HigherOrder.Internal.Testable.Class- Test.QuickCheck.HigherOrder.Internal.TestEq- build-depends:- QuickCheck >= 2.12,- test-fun,- base >= 4.9 && < 5- ghc-options: -Wall- default-language: Haskell2010--test-suite qcho-test- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: test.hs- build-depends:- quickcheck-higherorder,- tasty,- tasty-hunit,- tasty-quickcheck,- base- ghc-options: -Wall- default-language: Haskell2010--test-suite qcho-sample- type: exitcode-stdio-1.0- hs-source-dirs: test- main-is: sample.hs- build-depends:- QuickCheck,- quickcheck-higherorder,- test-fun,- base- ghc-options: -Wall- default-language: Haskell2010- if !flag(sample)- buildable: False--flag sample- default: False- manual: True--source-repository head- type: git- location: https://github.com/Lysxia/quickcheck-higherorder+name: quickcheck-higherorder +version: 0.1.0.0 +x-revision: 1 +synopsis: QuickCheck extension for higher-order properties +description: + Enhancements for property-based testing of higher-order properties. + . + * Associate types to their representations with the + @Constructible@ class. + * @Testable'@ class, + variant of @Testable@ with an improved instance for @(->)@. + * Representation of higher-order functions (via test-fun). + * Testable equality @TestEq@. + * Explicit testable type of @Equation@. + . + See also README. +homepage: https://github.com/Lysxia/quickcheck-higherorder#readme +license: MIT +license-file: LICENSE +author: Li-yao Xia +maintainer: lysxia@gmail.com +copyright: 2020 Li-yao Xia +category: Testing +build-type: Simple +extra-source-files: README.md +cabal-version: >=1.10 +tested-with: GHC == 8.0.2 || == 8.2.2 || == 8.4.4 || == 8.6.5 || == 8.8.2 + +library + hs-source-dirs: src + exposed-modules: + Test.QuickCheck.HigherOrder + Test.QuickCheck.HigherOrder.Internal.Constructible + Test.QuickCheck.HigherOrder.Internal.Function + Test.QuickCheck.HigherOrder.Internal.Testable + Test.QuickCheck.HigherOrder.Internal.Testable.Class + Test.QuickCheck.HigherOrder.Internal.TestEq + build-depends: + QuickCheck >= 2.12, + test-fun, + base >= 4.9 && < 5 + ghc-options: -Wall + default-language: Haskell2010 + +test-suite qcho-test + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: test.hs + build-depends: + quickcheck-higherorder, + tasty, + tasty-hunit, + tasty-quickcheck, + base + ghc-options: -Wall + default-language: Haskell2010 + +test-suite qcho-sample + type: exitcode-stdio-1.0 + hs-source-dirs: test + main-is: sample.hs + build-depends: + QuickCheck, + quickcheck-higherorder, + test-fun, + base + ghc-options: -Wall + default-language: Haskell2010 + if !flag(sample) + buildable: False + +flag sample + default: False + manual: True + +source-repository head + type: git + location: https://github.com/Lysxia/quickcheck-higherorder