diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
| commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
| tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /dev-haskell/quickcheck-classes-base/metadata.xml | |
| parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) | |
gentoo resync : 25.08.2020
Diffstat (limited to 'dev-haskell/quickcheck-classes-base/metadata.xml')
| -rw-r--r-- | dev-haskell/quickcheck-classes-base/metadata.xml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/dev-haskell/quickcheck-classes-base/metadata.xml b/dev-haskell/quickcheck-classes-base/metadata.xml new file mode 100644 index 000000000000..6b8592b1a5b8 --- /dev/null +++ b/dev-haskell/quickcheck-classes-base/metadata.xml @@ -0,0 +1,33 @@ +<?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="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> |