diff options
Diffstat (limited to 'dev-haskell/quickcheck-classes-base/metadata.xml')
| -rw-r--r-- | dev-haskell/quickcheck-classes-base/metadata.xml | 23 |
1 files changed, 1 insertions, 22 deletions
diff --git a/dev-haskell/quickcheck-classes-base/metadata.xml b/dev-haskell/quickcheck-classes-base/metadata.xml index 435de9480d90..26c36c8090b5 100644 --- a/dev-haskell/quickcheck-classes-base/metadata.xml +++ b/dev-haskell/quickcheck-classes-base/metadata.xml @@ -6,28 +6,7 @@ <name>Gentoo Haskell</name> </maintainer> <use> + <flag name="binary-laws">Include infrastructure for testing class laws of binary type constructors. Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported configuration.</flag> <flag name="unary-laws">Include infrastructure for testing class laws of unary type constructors.</flag> - <flag name="binary-laws">Include infrastructure for testing class laws of binary type constructors. -Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported -configuration.</flag> </use> - <longdescription> - 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. - </longdescription> </pkgmetadata> |