diff options
Diffstat (limited to 'dev-haskell/quickcheck-classes/metadata.xml')
| -rw-r--r-- | dev-haskell/quickcheck-classes/metadata.xml | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/dev-haskell/quickcheck-classes/metadata.xml b/dev-haskell/quickcheck-classes/metadata.xml new file mode 100644 index 000000000000..aaf10d4bc2b5 --- /dev/null +++ b/dev-haskell/quickcheck-classes/metadata.xml @@ -0,0 +1,47 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>haskell@gentoo.org</email> + <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> + </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> |