packages feed

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