diff options
Diffstat (limited to 'dev-haskell/quickcheck-classes/metadata.xml')
-rw-r--r-- | dev-haskell/quickcheck-classes/metadata.xml | 43 |
1 files changed, 6 insertions, 37 deletions
diff --git a/dev-haskell/quickcheck-classes/metadata.xml b/dev-haskell/quickcheck-classes/metadata.xml index 5f5d00f85a27..1e70ae5d8016 100644 --- a/dev-haskell/quickcheck-classes/metadata.xml +++ b/dev-haskell/quickcheck-classes/metadata.xml @@ -6,42 +6,11 @@ <name>Gentoo Haskell</name> </maintainer> <use> - <flag name="aeson"> - Enable the use of the `aeson` package. This may be useful for - accelerating builds in sandboxes for expert users. - </flag> - <flag name="semigroupoids"> - Enable the use of the `semigroupoids` package. This may be - useful for accelerating builds in sandboxes for expert users. - </flag> - <flag name="semirings"> - Enable the use of the `semirings` package. This may be useful - for accelerating builds in sandboxes for expert users. - </flag> - <flag name="vector"> - Enable the use of the `vector` package. This may be useful - for accelerating builds in sandboxes for expert users. - </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> + <flag name="aeson">You can disable the use of the `aeson` package using `-f-aeson`. This may be useful for accelerating builds in sandboxes for expert users.</flag> + <flag name="binary-laws">Include infrastructure for testing class laws of binary type constructors. It is required that this flag match the value that the `unary-laws` flag was given when building `quickcheck-classes-base`. Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported configuration.</flag> + <flag name="semigroupoids">You can disable the use of the `semigroupoids` package using `-f-semigroupoids`. This may be useful for accelerating builds in sandboxes for expert users.</flag> + <flag name="semirings">You can disable the use of the `semirings` package using `-f-semirings`. This may be useful for accelerating builds in sandboxes for expert users.</flag> + <flag name="unary-laws">Include infrastructure for testing class laws of unary type constructors. It is required that this flag match the value that the `unary-laws` flag was given when building `quickcheck-classes-base`.</flag> + <flag name="vector">You can disable the use of the `vector` package using `-f-vector`. This may be useful for accelerating builds in sandboxes for expert users.</flag> </use> - <longdescription> - 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> |