packages feed

Cabal revisions of quickcheck-classes-base-0.6.2.0

Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.

revision 1
-cabal-version: 2.4-name: quickcheck-classes-base-version: 0.6.2.0-synopsis: QuickCheck common typeclasses from `base`-description:-  This libary is a minimal variant of `quickcheck-classes` that-  only provides laws for typeclasses from `base`. The main purpose-  of splitting this out is so that `primitive` can depend on-  `quickcheck-classes-base` in its test suite, avoiding the circular-  dependency that arises if `quickcheck-classes` is used instead.-  .-  This library provides QuickCheck properties to ensure-  that typeclass instances adhere to the set of laws that-  they are supposed to. There are other libraries that do-  similar things, such as `genvalidity-hspec` and `checkers`.-  This library differs from other solutions by not introducing-  any new typeclasses that the user needs to learn.-  .-  /Note:/ on GHC < 8.5, this library uses the higher-kinded typeclasses-  ('Data.Functor.Classes.Show1', 'Data.Functor.Classes.Eq1', 'Data.Functor.Classes.Ord1', etc.),-  but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to express these-  constraints more cleanly.-homepage: https://github.com/andrewthad/quickcheck-classes#readme-license: BSD-3-Clause-license-file: LICENSE-author: Andrew Martin, chessai-maintainer: andrew.thaddeus@gmail.com-copyright: 2019 Andrew Martin-category: Testing-build-type: Simple-extra-source-files: changelog.md--flag unary-laws-  description:-    Include infrastructure for testing class laws of unary type constructors.-  default: True-  manual: True--flag binary-laws-  description:-    Include infrastructure for testing class laws of binary type constructors.-    Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported-    configuration.-  default: True-  manual: True--library-  default-language: Haskell2010-  hs-source-dirs: src-  exposed-modules:-    Test.QuickCheck.Classes.Base-    Test.QuickCheck.Classes.Base.IsList-    Test.QuickCheck.Classes.Internal-  other-modules:-    Test.QuickCheck.Classes.Alternative-    Test.QuickCheck.Classes.Applicative-    Test.QuickCheck.Classes.Bifoldable-    Test.QuickCheck.Classes.Bifunctor-    Test.QuickCheck.Classes.Bitraversable-    Test.QuickCheck.Classes.Bits-    Test.QuickCheck.Classes.Category-    Test.QuickCheck.Classes.Contravariant-    Test.QuickCheck.Classes.Enum-    Test.QuickCheck.Classes.Eq-    Test.QuickCheck.Classes.Foldable-    Test.QuickCheck.Classes.Functor-    Test.QuickCheck.Classes.Generic-    Test.QuickCheck.Classes.Integral-    Test.QuickCheck.Classes.Ix-    Test.QuickCheck.Classes.Monad-    Test.QuickCheck.Classes.MonadFail-    Test.QuickCheck.Classes.MonadPlus-    Test.QuickCheck.Classes.MonadZip-    Test.QuickCheck.Classes.Monoid-    Test.QuickCheck.Classes.Num-    Test.QuickCheck.Classes.Ord-    Test.QuickCheck.Classes.Semigroup-    Test.QuickCheck.Classes.Show-    Test.QuickCheck.Classes.ShowRead-    Test.QuickCheck.Classes.Storable-    Test.QuickCheck.Classes.Traversable-  build-depends:-    , base >= 4.5 && < 5-    , QuickCheck >= 2.7-    , transformers >= 0.3 && < 0.6-    , containers >= 0.4.2.1-  if impl(ghc < 8.6)-    build-depends: contravariant-  if impl(ghc < 8.2)-    build-depends: bifunctors-  if impl(ghc < 8.0)-    build-depends:-      , semigroups >= 0.17-      , fail-  if impl(ghc < 7.8)-    build-depends: tagged-  if impl(ghc > 7.4) && impl(ghc < 7.6)-    build-depends: ghc-prim-  if impl(ghc > 8.5)-    cpp-options: -DHAVE_QUANTIFIED_CONSTRAINTS-  if flag(unary-laws)-    build-depends:-      , transformers >= 0.4.0-      , QuickCheck >= 2.10.0-    cpp-options: -DHAVE_UNARY_LAWS-  if flag(binary-laws)-    build-depends:-      , transformers >= 0.5.0-      , QuickCheck >= 2.10.0-    cpp-options: -DHAVE_BINARY_LAWS--source-repository head-  type: git-  location: https://github.com/andrewthad/quickcheck-classes+cabal-version: 2.4
+name: quickcheck-classes-base
+version: 0.6.2.0
+x-revision: 1
+synopsis: QuickCheck common typeclasses from `base`
+description:
+  This libary is a minimal variant of `quickcheck-classes` that
+  only provides laws for typeclasses from `base`. The main purpose
+  of splitting this out is so that `primitive` can depend on
+  `quickcheck-classes-base` in its test suite, avoiding the circular
+  dependency that arises if `quickcheck-classes` is used instead.
+  .
+  This library provides QuickCheck properties to ensure
+  that typeclass instances adhere to the set of laws that
+  they are supposed to. There are other libraries that do
+  similar things, such as `genvalidity-hspec` and `checkers`.
+  This library differs from other solutions by not introducing
+  any new typeclasses that the user needs to learn.
+  .
+  /Note:/ on GHC < 8.5, this library uses the higher-kinded typeclasses
+  ('Data.Functor.Classes.Show1', 'Data.Functor.Classes.Eq1', 'Data.Functor.Classes.Ord1', etc.),
+  but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to express these
+  constraints more cleanly.
+homepage: https://github.com/andrewthad/quickcheck-classes#readme
+license: BSD-3-Clause
+license-file: LICENSE
+author: Andrew Martin, chessai
+maintainer: andrew.thaddeus@gmail.com
+copyright: 2019 Andrew Martin
+category: Testing
+build-type: Simple
+extra-source-files: changelog.md
+
+flag unary-laws
+  description:
+    Include infrastructure for testing class laws of unary type constructors.
+  default: True
+  manual: True
+
+flag binary-laws
+  description:
+    Include infrastructure for testing class laws of binary type constructors.
+    Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported
+    configuration.
+  default: True
+  manual: True
+
+library
+  default-language: Haskell2010
+  hs-source-dirs: src
+  exposed-modules:
+    Test.QuickCheck.Classes.Base
+    Test.QuickCheck.Classes.Base.IsList
+    Test.QuickCheck.Classes.Internal
+  other-modules:
+    Test.QuickCheck.Classes.Alternative
+    Test.QuickCheck.Classes.Applicative
+    Test.QuickCheck.Classes.Bifoldable
+    Test.QuickCheck.Classes.Bifunctor
+    Test.QuickCheck.Classes.Bitraversable
+    Test.QuickCheck.Classes.Bits
+    Test.QuickCheck.Classes.Category
+    Test.QuickCheck.Classes.Contravariant
+    Test.QuickCheck.Classes.Enum
+    Test.QuickCheck.Classes.Eq
+    Test.QuickCheck.Classes.Foldable
+    Test.QuickCheck.Classes.Functor
+    Test.QuickCheck.Classes.Generic
+    Test.QuickCheck.Classes.Integral
+    Test.QuickCheck.Classes.Ix
+    Test.QuickCheck.Classes.Monad
+    Test.QuickCheck.Classes.MonadFail
+    Test.QuickCheck.Classes.MonadPlus
+    Test.QuickCheck.Classes.MonadZip
+    Test.QuickCheck.Classes.Monoid
+    Test.QuickCheck.Classes.Num
+    Test.QuickCheck.Classes.Ord
+    Test.QuickCheck.Classes.Semigroup
+    Test.QuickCheck.Classes.Show
+    Test.QuickCheck.Classes.ShowRead
+    Test.QuickCheck.Classes.Storable
+    Test.QuickCheck.Classes.Traversable
+  build-depends:
+    , base >= 4.5 && < 5
+    , QuickCheck >= 2.7
+    , transformers >= 0.3 && < 0.7
+    , containers >= 0.4.2.1
+  if impl(ghc < 8.6)
+    build-depends: contravariant
+  if impl(ghc < 8.2)
+    build-depends: bifunctors
+  if impl(ghc < 8.0)
+    build-depends:
+      , semigroups >= 0.17
+      , fail
+  if impl(ghc < 7.8)
+    build-depends: tagged
+  if impl(ghc > 7.4) && impl(ghc < 7.6)
+    build-depends: ghc-prim
+  if impl(ghc > 8.5)
+    cpp-options: -DHAVE_QUANTIFIED_CONSTRAINTS
+  if flag(unary-laws)
+    build-depends:
+      , transformers >= 0.4.0
+      , QuickCheck >= 2.10.0
+    cpp-options: -DHAVE_UNARY_LAWS
+  if flag(binary-laws)
+    build-depends:
+      , transformers >= 0.5.0
+      , QuickCheck >= 2.10.0
+    cpp-options: -DHAVE_BINARY_LAWS
+
+source-repository head
+  type: git
+  location: https://github.com/andrewthad/quickcheck-classes